docs: minor fixes

teal-language · Dec 18, 2024 · d28d53b · d28d53b
1 parent 6e54e66
commit d28d53b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/grammar.md b/docs/grammar.md
@@ -118,7 +118,7 @@ precedence, see below.
 
 *  recordentry ::= ‘userdata’ |
 *      ‘type’ Name ‘=’ newtype | [‘metamethod’] recordkey ‘:’ type |
-*      ‘record’ recordbody | ‘enum’ enumbody
+*      ‘record’ Name recordbody | ‘enum’ Name enumbody
 
 *  recordkey ::= Name | ‘[’ LiteralString ‘]’
 

diff --git a/docs/pragmas.md b/docs/pragmas.md
@@ -81,7 +81,7 @@ checks, require the library, then re-enable them:
 
 ```lua
 --#pragma arity off
-local old_library = require("old_library)
+local old_library = require("old_library")
 --#pragma arity on
 
 local function add(a: number, b: number): number