diff options
| author | Eduardo Julian | 2017-10-18 12:42:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-18 12:42:46 -0400 |
| commit | 901b09dada43ec6f3b21618800ec7400fda54a0d (patch) | |
| tree | d62dde3df2ce4fd7d7cd8d0b177f6592f87817cb /new-luxc/source/luxc/generator/expr.jvm.lux | |
| parent | 14e381de130f0c8d3e333cf0523c6c98b9aa84b1 (diff) | |
- Updated to the latest changes in stdlib.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/generator/expr.jvm.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/new-luxc/source/luxc/generator/expr.jvm.lux b/new-luxc/source/luxc/generator/expr.jvm.lux index 6b6c68fde..c7fdcf2af 100644 --- a/new-luxc/source/luxc/generator/expr.jvm.lux +++ b/new-luxc/source/luxc/generator/expr.jvm.lux @@ -2,7 +2,7 @@ lux (lux (control monad) (data text/format) - [macro #+ Monad<Lux> "Lux/" Monad<Lux>]) + [meta #+ Monad<Meta> "Meta/" Monad<Meta>]) (luxc ["&" base] (lang ["ls" synthesis]) ["&;" analyser] @@ -18,7 +18,7 @@ (host ["$" jvm])))) (def: #export (generate synthesis) - (-> ls;Synthesis (Lux $;Inst)) + (-> ls;Synthesis (Meta $;Inst)) (case synthesis #ls;Unit &primitive;generate-unit @@ -54,11 +54,11 @@ (&procedure;generate-procedure generate name args) _ - (macro;fail "Unrecognized synthesis."))) + (meta;fail "Unrecognized synthesis."))) ## (def: #export (eval type code) -## (-> Type Code (Lux Top)) -## (do Monad<Lux> +## (-> Type Code (Meta Top)) +## (do Monad<Meta> ## [analysis (&;with-expected-type leftT ## (&analyser;analyser eval code)) ## #let [synthesis (&synthesizer;synthesize analysis)] @@ -70,8 +70,8 @@ ## (&analyser;analyser eval)) ## (def: #export (generate input) -## (-> Code (Lux Unit)) -## (do Monad<Lux> +## (-> Code (Meta Unit)) +## (do Monad<Meta> ## [analysis (analyse input) ## #let [synthesis (&synthesizer;synthesize analysis)]] ## (generate-synthesis synthesis))) |