diff options
Diffstat (limited to '')
4 files changed, 5 insertions, 5 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]))) diff --git a/new-luxc/source/luxc/lang/analysis/primitive.lux b/new-luxc/source/luxc/lang/analysis/primitive.lux index 8270e7e73..ff7908669 100644 --- a/new-luxc/source/luxc/lang/analysis/primitive.lux +++ b/new-luxc/source/luxc/lang/analysis/primitive.lux @@ -26,5 +26,5 @@ (def: #export analyse-unit (Meta Analysis) (do macro.Monad<Meta> - [_ (&.infer Unit)] + [_ (&.infer Top)] (wrap (` [])))) diff --git a/new-luxc/source/luxc/lang/analysis/structure.lux b/new-luxc/source/luxc/lang/analysis/structure.lux index c5be94df6..f9e7ad8fc 100644 --- a/new-luxc/source/luxc/lang/analysis/structure.lux +++ b/new-luxc/source/luxc/lang/analysis/structure.lux @@ -7,7 +7,7 @@ [product] [maybe] (coll [list "list/" Functor<List>] - [dict #+ Dict]) + (dictionary ["dict" unordered #+ Dict])) text/format) [macro] (macro [code]) @@ -293,7 +293,7 @@ (case record ## empty-record = empty-tuple = unit = [] #.Nil - (:: macro.Monad<Meta> wrap [(list) Unit]) + (:: macro.Monad<Meta> wrap [(list) Top]) (#.Cons [head-k head-v] _) (do macro.Monad<Meta> |