diff options
| author | Eduardo Julian | 2017-06-27 17:52:52 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-06-27 17:52:52 -0400 |
| commit | 36cf0c61991bda395e224fa2d435fa6b6f5090e5 (patch) | |
| tree | 50216b0052b413dd7dff04a980e6f238cec98984 /new-luxc/source/luxc/analyser/inference.lux | |
| parent | 49fab71f7965e4c76796d5b4ce9648fc46ab2660 (diff) | |
- Adapted compiler to the latest stdlib changes.
Diffstat (limited to 'new-luxc/source/luxc/analyser/inference.lux')
| -rw-r--r-- | new-luxc/source/luxc/analyser/inference.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/analyser/inference.lux b/new-luxc/source/luxc/analyser/inference.lux index 11ec58eb3..8390a890c 100644 --- a/new-luxc/source/luxc/analyser/inference.lux +++ b/new-luxc/source/luxc/analyser/inference.lux @@ -31,7 +31,7 @@ ([#;Sum] [#;Product] [#;Function] - [#;App]) + [#;Apply]) (#;Var id) (if (n.= var-id id) @@ -74,7 +74,7 @@ (&common;with-var (function [[var-id varT]] (do Monad<Lux> - [[outputT argsA] (apply-function analyse (assume (type;apply-type funcT varT)) args)] + [[outputT argsA] (apply-function analyse (assume (type;apply (list varT) funcT)) args)] (do @ [? (&;within-type-env (TC;bound? var-id)) @@ -90,7 +90,7 @@ (do Monad<Lux> [[ex-id exT] (&;within-type-env TC;existential)] - (apply-function analyse (assume (type;apply-type funcT exT)) args)) + (apply-function analyse (assume (type;apply (list exT) funcT)) args)) ## Arguments are inferred back-to-front because, by convention, ## Lux functions take the most important arguments *last*, which |