From 8787650c4b1641832db9df2c35bc3046e886220e Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 6 May 2018 00:45:45 -0400 Subject: - Updated new-luxc to the latest stdlib changes. --- new-luxc/source/luxc/lang/analysis/case.lux | 2 +- new-luxc/source/luxc/lang/analysis/case/coverage.lux | 2 +- new-luxc/source/luxc/lang/analysis/primitive.lux | 2 +- new-luxc/source/luxc/lang/analysis/structure.lux | 4 ++-- 4 files changed, 5 insertions(+), 5 deletions(-) (limited to 'new-luxc/source/luxc/lang/analysis') 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 [_ (&.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] text/format (coll [list "list/" Fold] - [dict #+ Dict])) + (dictionary ["dict" unordered #+ Dict]))) [macro "macro/" Monad]) (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 - [_ (&.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] - [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 wrap [(list) Unit]) + (:: macro.Monad wrap [(list) Top]) (#.Cons [head-k head-v] _) (do macro.Monad -- cgit v1.2.3