aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/parser
diff options
context:
space:
mode:
authorEduardo Julian2022-06-14 21:28:23 -0400
committerEduardo Julian2022-06-14 21:28:23 -0400
commitda79da086a028a55130fbbbc5e08ed0ce736ff96 (patch)
tree3cca77c0271a65e29c5d8057d3837db3e330e359 /stdlib/source/parser
parent3a81232c2367df2416f62f651259ff9297abc7d4 (diff)
New "parser" hierarchy. [Part 2]
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