handle end of file

Closes #1
This commit is contained in:
Dmitriy Pleshevskiy 2022-12-09 12:54:11 +03:00
parent be8db7ca48
commit 095dd7d8f3
Signed by: pleshevskiy
GPG key ID: 1B59187B161C0215
4 changed files with 18 additions and 3 deletions

View file

@ -36,7 +36,7 @@ module.exports = grammar({
$.container,
$.connection
),
$._end
choice($._end, "\0")
)
),

View file

@ -45,6 +45,9 @@
}
]
},
{
"type": "CHOICE",
"members": [
{
"type": "SYMBOL",
"name": "_end"
@ -52,6 +55,8 @@
]
}
]
}
]
},
"connection": {
"type": "SEQ",

View file

@ -1,3 +1,13 @@
================================================================================
Handle end of file (issue #1)
================================================================================
foo
--------------------------------------------------------------------------------
(source_file
(shape (shape_key))
)
================================================================================
Simple shape key
================================================================================

Binary file not shown.