diff options
Diffstat (limited to 'stdlib/source/lux/control/parser/synthesis.lux')
| -rw-r--r-- | stdlib/source/lux/control/parser/synthesis.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/control/parser/synthesis.lux b/stdlib/source/lux/control/parser/synthesis.lux index 784f08698..1b0a38acd 100644 --- a/stdlib/source/lux/control/parser/synthesis.lux +++ b/stdlib/source/lux/control/parser/synthesis.lux @@ -10,8 +10,8 @@ ["." name] [number ["." i64] - ["." frac] - ["." nat]] + ["n" nat] + ["." frac]] ["." text ["%" format (#+ format)]]] [tool @@ -89,8 +89,8 @@ [i64 i64! /.i64 (I64 Any) i64.equivalence] [f64 f64! /.f64 Frac frac.equivalence] [text text! /.text Text text.equivalence] - [local local! /.variable/local Nat nat.equivalence] - [foreign foreign! /.variable/foreign Nat nat.equivalence] + [local local! /.variable/local Nat n.equivalence] + [foreign foreign! /.variable/foreign Nat n.equivalence] [constant constant! /.constant Name name.equivalence] ) @@ -111,7 +111,7 @@ (.function (_ input) (case input (^ (list& (/.function/abstraction [environment actual body]) tail)) - (if (n/= expected actual) + (if (n.= expected actual) (do try.monad [output (..run (list body) parser)] (#try.Success [tail [environment output]])) |