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/case.lux | |
| parent | 49fab71f7965e4c76796d5b4ce9648fc46ab2660 (diff) | |
- Adapted compiler to the latest stdlib changes.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/analyser/case.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/analyser/case.lux b/new-luxc/source/luxc/analyser/case.lux index 306618caf..7d580f3b4 100644 --- a/new-luxc/source/luxc/analyser/case.lux +++ b/new-luxc/source/luxc/analyser/case.lux @@ -55,7 +55,7 @@ (do Monad<Lux> [[ex-id exT] (&;within-type-env TC;existential)] - (simplify-case-type (assume (type;apply-type type exT)))) + (simplify-case-type (assume (type;apply (list exT) type)))) _ (:: Monad<Lux> wrap type))) |