change BNF (but not implementation of BNF) for parsing, to handle layers, and also change minimum key in layer tree to be 1

This commit is contained in:
2025-08-09 11:10:34 +01:00
parent d3ace298d3
commit b765e406c7
8 changed files with 20 additions and 14 deletions

View File

@@ -5,8 +5,13 @@ struct
val final = 2
fun makeStart i =
let val chr = Char.chr i
in if chr = #"{" orelse chr = #"}" then final else dead
let
val chr = Char.chr i
in
if chr = #"{" orelse chr = #"}" orelse chr = #"[" orelse chr = #"]" then
final
else
dead
end
val deadTable = SpaceDfa.deadTable