diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/parser/lux/data/binary.lux (renamed from stdlib/source/library/lux/control/parser/binary.lux) | 4 | ||||
| -rw-r--r-- | stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux (renamed from stdlib/source/library/lux/control/parser/synthesis.lux) | 7 |
2 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/parser/lux/data/binary.lux index 98d23b610..1a49d5315 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/parser/lux/data/binary.lux @@ -7,6 +7,7 @@ [hash (.only Hash)] [monad (.only do)]] [control + ["//" parser (.open: "[1]#[0]" monad)] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)]] [data @@ -28,8 +29,7 @@ [math [number ["n" nat] - ["[0]" frac]]]]] - ["[0]" // (.open: "[1]#[0]" monad)]) + ["[0]" frac]]]]]) (type: .public Offset Nat) diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux index 9e73bf80c..c6537531f 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux @@ -4,6 +4,7 @@ [abstract [monad (.only do)]] [control + ["//" parser] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)]] [data @@ -26,9 +27,9 @@ [arity (.only Arity)] [language [lux - [analysis (.only Environment)] - ["/" synthesis (.only Synthesis Abstraction)]]]]]]] - ["[0]" //]) + [analysis (.only Environment)]]]]]]] + [\\library + ["[0]" / (.only Synthesis Abstraction)]]) (exception: .public (cannot_parse [input (List Synthesis)]) (exception.report |