diff options
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|) |