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/extension/analysis/host.jvm.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux b/new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux
index 9d9fef5ac..08ad014be 100644
--- a/new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux
+++ b/new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux
@@ -13,7 +13,7 @@
                    ["l" lexer])
              (coll [list "list/" Fold<List> Functor<List> Monoid<List>]
                    [array]
-                   [dict #+ Dict]))
+                   (dictionary ["dict" unordered #+ Dict])))
        [macro "macro/" Monad<Meta>]
        (macro [code]
               ["s" syntax])
@@ -482,7 +482,7 @@
                                    (analyse exceptionC))
          exception-class (check-object exceptionT)
          ? (sub-class? "java.lang.Throwable" exception-class)
-         _ (: (Meta Unit)
+         _ (: (Meta Top)
               (if ?
                 (wrap [])
                 (&.throw Non-Throwable exception-class)))]
@@ -818,7 +818,7 @@
       (case [classC fieldC]
         [[_ (#.Text class)] [_ (#.Text field)]]
         (do macro.Monad<Meta>
-          [_ (&.infer Unit)
+          [_ (&.infer Top)
            [fieldT final?] (static-field class field)
            _ (&.assert Cannot-Set-Final-Field (format class "#" field)
                        (not final?))
@@ -1130,7 +1130,7 @@
 (def: (invoke//special proc)
   (-> Text ///.Analysis)
   (function (_ analyse eval args)
-    (case (: (e.Error [(List Code) [Text Text Code (List [Text Code]) Unit]])
+    (case (: (e.Error [(List Code) [Text Text Code (List [Text Code]) Top]])
              (p.run args ($_ p.seq s.text s.text s.any (p.some (s.tuple (p.seq s.text s.any))) s.end!)))
       (#e.Success [_ [class method objectC argsTC _]])
       (do macro.Monad<Meta>
-- 
cgit v1.2.3