diff options
| author | Eduardo Julian | 2022-06-26 12:55:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-26 12:55:04 -0400 |
| commit | 3053fd79bc6ae42415298ee056a268dc2c9b690c (patch) | |
| tree | a71ac65955b42978160087b933c962b27f85fbcc /stdlib/source/parser | |
| parent | 716ca5377386ca87eded7dd514ccc17f8ed281c3 (diff) | |
New "parser" hierarchy. [Part 4]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/parser/lux/macro/code.lux (renamed from stdlib/source/library/lux/control/parser/code.lux) | 4 | ||||
| -rw-r--r-- | stdlib/source/parser/lux/type.lux (renamed from stdlib/source/library/lux/control/parser/type.lux) | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/control/parser/code.lux b/stdlib/source/parser/lux/macro/code.lux index a73b18c55..85490e2d0 100644 --- a/stdlib/source/library/lux/control/parser/code.lux +++ b/stdlib/source/parser/lux/macro/code.lux @@ -4,6 +4,7 @@ [abstract ["[0]" monad (.only do)]] [control + ["//" parser] ["[0]" try (.only Try)]] [data ["[0]" bit] @@ -19,8 +20,7 @@ ["[0]" rev] ["[0]" frac]]] [meta - ["[0]" symbol]]]] - ["[0]" //]) + ["[0]" symbol]]]]) (def (un_paired pairs) (All (_ a) (-> (List [a a]) (List a))) diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/parser/lux/type.lux index b4609b897..a107a1778 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/parser/lux/type.lux @@ -4,6 +4,7 @@ [abstract ["[0]" monad (.only do)]] [control + ["//" parser] ["[0]" try (.only Try)] ["[0]" exception (.only exception)] ["[0]" function]] @@ -20,8 +21,7 @@ [number ["n" nat (.use "[1]#[0]" decimal)]]] ["[0]" type (.use "[1]#[0]" equivalence) - ["[0]" check]]]] - ["[0]" //]) + ["[0]" check]]]]) (def |recursion_dummy| (template (|recursion_dummy|) |