diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/parser/synthesis.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 69e89986e..1e8dff8f2 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -8,7 +8,6 @@ ["[0]" exception {"+" exception:}]] [data ["[0]" bit] - ["[0]" name] ["[0]" text ["%" format {"+" format}]]] [math @@ -16,6 +15,8 @@ ["n" nat] ["[0]" i64] ["[0]" frac]]] + [meta + ["[0]" symbol]] [tool [compiler [reference {"+" } @@ -115,7 +116,7 @@ [text text! /.text Text text.equivalence] [local local! /.variable/local Nat n.equivalence] [foreign foreign! /.variable/foreign Nat n.equivalence] - [constant constant! /.constant Name name.equivalence] + [constant constant! /.constant Symbol symbol.equivalence] ) (def: .public (tuple parser) |