diff options
author | Eduardo Julian | 2018-06-14 18:28:30 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-06-14 18:28:30 -0400 |
commit | cbb916354e5fae89b659fcb4699650e0dad7aa25 (patch) | |
tree | 8a28ffdba83807b3319a61bf7a05721166bc2861 /new-luxc/source/luxc/lang/synthesis/case.lux | |
parent | 8934a10fb289ea0c09891bdd7a409b8dd1152256 (diff) |
- Migrated synthesis to stdlib.
Diffstat (limited to 'new-luxc/source/luxc/lang/synthesis/case.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/synthesis/case.lux | 99 |
1 files changed, 0 insertions, 99 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis/case.lux b/new-luxc/source/luxc/lang/synthesis/case.lux deleted file mode 100644 index 968c35561..000000000 --- a/new-luxc/source/luxc/lang/synthesis/case.lux +++ /dev/null @@ -1,99 +0,0 @@ -(.module: - lux - (lux (data [bool "bool/" Eq<Bool>] - [text "text/" Eq<Text>] - text/format - [number] - (coll [list "list/" Fold<List> Monoid<List>])) - (macro [code "code/" Eq<Code>])) - (luxc (lang [".L" variable #+ Variable] - ["la" analysis] - ["ls" synthesis] - (synthesis [".S" function])))) - -(def: popPS ls.Path (' ("lux case pop"))) - -(def: (path' arity num-locals pattern) - (-> ls.Arity Nat la.Pattern [Nat (List ls.Path)]) - (case pattern - (^code ("lux case tuple" [(~+ membersP)])) - (case membersP - #.Nil - [num-locals - (list popPS)] - - (#.Cons singletonP #.Nil) - (path' arity num-locals singletonP) - - (#.Cons _) - (let [last-idx (n/dec (list.size membersP)) - [_ output] (list/fold (: (-> la.Pattern [Nat [Nat (List ls.Path)]] [Nat [Nat (List ls.Path)]]) - (function (_ current-pattern [current-idx num-locals' next]) - (let [[num-locals'' current-path] (path' arity num-locals' current-pattern)] - [(n/dec current-idx) - num-locals'' - (|> (list (if (n/= last-idx current-idx) - (` ("lux case tuple right" (~ (code.nat current-idx)))) - (` ("lux case tuple left" (~ (code.nat current-idx)))))) - (list/compose current-path) - (list/compose next))]))) - [last-idx num-locals (list popPS)] - (list.reverse membersP))] - output)) - - (^code ("lux case variant" (~ [_ (#.Nat tag)]) (~ [_ (#.Nat num-tags)]) (~ memberP))) - (let [[num-locals' member-path] (path' arity num-locals memberP)] - [num-locals' (|> (list (if (n/= (n/dec num-tags) tag) - (` ("lux case variant right" (~ (code.nat tag)))) - (` ("lux case variant left" (~ (code.nat tag)))))) - (list/compose member-path) - (list& popPS))]) - - (^code ("lux case bind" (~ [_ (#.Nat register)]))) - [(n/inc num-locals) - (list popPS - (` ("lux case bind" (~ (code.nat (if (functionS.nested? arity) - (n/+ (n/dec arity) register) - register))))))] - - _ - [num-locals - (list popPS pattern)])) - -(def: (clean-unnecessary-pops paths) - (-> (List ls.Path) (List ls.Path)) - (case paths - (#.Cons path paths') - (if (is? popPS path) - (clean-unnecessary-pops paths') - paths) - - #.Nil - paths)) - -(def: #export (path arity num-locals synthesize pattern bodyA) - (-> ls.Arity Nat (-> Nat la.Analysis ls.Synthesis) la.Pattern la.Analysis ls.Path) - (let [[num-locals' pieces] (path' arity num-locals pattern)] - (|> pieces - clean-unnecessary-pops - (list/fold (function (_ pre post) - (` ("lux case seq" (~ pre) (~ post)))) - (` ("lux case exec" (~ (synthesize num-locals' bodyA)))))))) - -(def: #export (weave leftP rightP) - (-> ls.Path ls.Path ls.Path) - (with-expansions [<default> (as-is (` ("lux case alt" (~ leftP) (~ rightP))))] - (case [leftP rightP] - (^ [(^code ("lux case seq" (~ preL) (~ postL))) - (^code ("lux case seq" (~ preR) (~ postR)))]) - (case (weave preL preR) - (^code ("lux case alt" (~ thenP) (~ elseP))) - <default> - - weavedP - (` ("lux case seq" (~ weavedP) (~ (weave postL postR))))) - - _ - (if (code/= leftP rightP) - rightP - <default>)))) |