diff options
Diffstat (limited to 'new-luxc/source/luxc/synthesizer.lux')
| -rw-r--r-- | new-luxc/source/luxc/synthesizer.lux | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux index c0aaec6ad..d2f559c3e 100644 --- a/new-luxc/source/luxc/synthesizer.lux +++ b/new-luxc/source/luxc/synthesizer.lux @@ -13,7 +13,7 @@ (-> Analysis Synthesis) (case analysis (^template [<from> <to>] - [meta (<from> value)] + (<from> value) (<to> value)) ([#la;Unit #ls;Unit] [#la;Bool #ls;Bool] @@ -26,20 +26,21 @@ [#la;Relative #ls;Relative] [#la;Absolute #ls;Absolute]) - [meta (#la;Tuple values)] + (#la;Tuple values) (#ls;Tuple (L/map synthesize values)) - [meta (#la;Variant tag last? value)] - (#ls;Variant tag last? (synthesize value)) + (#la;Variant tag last? value) + (undefined) - [meta (#la;Function scope body)] - (#ls;Function scope (synthesize body)) + (#la;Case pattern) + (undefined) - [meta (#la;Call func args)] - (#ls;Call (synthesize func) (L/map synthesize args)) + (#la;Function scope body) + (undefined) + + (#la;Apply arg func) + (undefined) - [meta (#la;Procedure name args)] + (#la;Procedure name args) (#ls;Procedure name (L/map synthesize args)) - - [meta (#la;Case pattern)] - (undefined))) + )) |