diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/analysis/case.lux | 2 | ||||
| -rw-r--r-- | new-luxc/source/luxc/lang/analysis/case/coverage.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/case.lux b/new-luxc/source/luxc/lang/analysis/case.lux index a9731a1d7..d9efa2bf4 100644 --- a/new-luxc/source/luxc/lang/analysis/case.lux +++ b/new-luxc/source/luxc/lang/analysis/case.lux @@ -177,7 +177,7 @@ (&.with-cursor cursor (do macro.Monad<Meta> [_ (&.with-type-env - (tc.check inputT Unit)) + (tc.check inputT Top)) outputA next] (wrap [(` ("lux case tuple" [])) outputA]))) diff --git a/new-luxc/source/luxc/lang/analysis/case/coverage.lux b/new-luxc/source/luxc/lang/analysis/case/coverage.lux index b81a3b7a9..38f977011 100644 --- a/new-luxc/source/luxc/lang/analysis/case/coverage.lux +++ b/new-luxc/source/luxc/lang/analysis/case/coverage.lux @@ -8,7 +8,7 @@ ["e" error "error/" Monad<Error>] text/format (coll [list "list/" Fold<List>] - [dict #+ Dict])) + (dictionary ["dict" unordered #+ Dict]))) [macro "macro/" Monad<Meta>]) (luxc ["&" lang] (lang ["la" analysis]))) |