- Adjusted new-luxc to latest changes.

7 files changed, 26 insertions, 28 deletions

diff --git a/new-luxc/source/luxc/cache.lux b/new-luxc/source/luxc/cache.lux
index 2b47c12dc..8be91fb35 100644
--- a/new-luxc/source/luxc/cache.lux
+++ b/new-luxc/source/luxc/cache.lux
@@ -1,7 +1,7 @@
 (.module:
   lux
   (lux (data [text]
-             (coll [dict #+ Dict]))))
+             (coll (dictionary ["dict" unordered #+ Dict])))))
 
 (type: #export Cache (Dict Text Module))
 (def: #export empty Cache (dict.new text.Hash<Text>))
diff --git a/new-luxc/source/luxc/cache/description.lux b/new-luxc/source/luxc/cache/description.lux
index 467fed765..9ee07c7ad 100644
--- a/new-luxc/source/luxc/cache/description.lux
+++ b/new-luxc/source/luxc/cache/description.lux
@@ -12,8 +12,9 @@
               ["s" syntax #+ Syntax]))
   [///lang])
 
-(exception: #export (Invalid-Lux-Version {message Text})
-  message)
+(exception: #export (invalid-lux-version {version Text})
+  (format "Expected: " ///lang.version "\n"
+          "  Actual: " version "\n"))
 
 (def: (write-type type)
   (-> Type Code)
@@ -121,9 +122,7 @@
   (<| (s.run (list description))
       (s.record (do p.Monad<Parser>
                   [lux-version (p.after (s.this (` "lux version")) s.text)
-                   _ (p.assert (Invalid-Lux-Version
-                                (format "Expected: " ///lang.version "\n"
-                                        "  Actual: " lux-version "\n"))
+                   _ (p.assert (ex.construct invalid-lux-version lux-version)
                                (text/= ///lang.version lux-version))]
                   ($_ p.seq
                       (p.after (s.this (` "lux file")) s.text)
diff --git a/new-luxc/source/luxc/cache/influences.lux b/new-luxc/source/luxc/cache/influences.lux
index a75e1a7a1..bbddd79aa 100644
--- a/new-luxc/source/luxc/cache/influences.lux
+++ b/new-luxc/source/luxc/cache/influences.lux
@@ -2,7 +2,7 @@
   lux
   (lux (data [text]
              (coll [list "list/" Fold<List>]
-                   [dict #+ Dict]))))
+                   (dictionary ["dict" unordered #+ Dict])))))
 
 (type: #export Influences (Dict Text (List Text)))
 
diff --git a/new-luxc/source/luxc/cache/io.lux b/new-luxc/source/luxc/cache/io.lux
index 62585c0bc..998c658ac 100644
--- a/new-luxc/source/luxc/cache/io.lux
+++ b/new-luxc/source/luxc/cache/io.lux
@@ -9,8 +9,8 @@
              [text "text/" Hash<Text>]
              text/format
              (coll [list "list/" Fold<List>]
-                   [dict #+ Dict]
-                   [set #+ Set]))
+                   (dictionary ["dict" unordered #+ Dict])
+                   (set ["set" unordered #+ Set])))
        (lang [syntax #+ Aliases])
        [io #+ Process "process/" Monad<Process>]
        (concurrency [atom #+ Atom atom])
@@ -25,7 +25,6 @@
   [(exception: #export (<name> {message Text})
      message)]
 
-  [Invalid-Lux-Version]
   [Module-Is-Not-Cached]
   [Cannot-Pre-Load-Cache-More-Than-Once]
   [Cannot-Delete-Cached-File]
diff --git a/new-luxc/source/luxc/lang/translation.lux b/new-luxc/source/luxc/lang/translation.lux
index 4cab6d682..99328a45f 100644
--- a/new-luxc/source/luxc/lang/translation.lux
+++ b/new-luxc/source/luxc/lang/translation.lux
@@ -9,7 +9,7 @@
              [text "text/" Hash<Text>]
              text/format
              (coll [list "list/" Functor<List>]
-                   [dict]))
+                   (dictionary ["dict" unordered])))
        [macro]
        (lang [syntax #+ Aliases]
              (type ["tc" check]))
@@ -135,7 +135,7 @@
   (function (_ compiler)
     (case (action compiler)
       (#e.Error error)
-      (if (ex.match? syntax.End-Of-File error)
+      (if (ex.match? syntax.end-of-file error)
         (#e.Success [compiler []])
         (#e.Error error))
 
diff --git a/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux
index de75a4d75..61061c3af 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux
@@ -12,7 +12,7 @@
              [text "text/" Eq<Text>]
              text/format
              (coll [list "list/" Functor<List> Fold<List>]
-                   [dict #+ Dict]))
+                   (dictionary ["dict" unordered #+ Dict])))
        [macro]
        (macro [code]
               ["s" syntax])
diff --git a/new-luxc/source/luxc/repl.lux b/new-luxc/source/luxc/repl.lux
index fbf1a336e..0ce7fb898 100644
--- a/new-luxc/source/luxc/repl.lux
+++ b/new-luxc/source/luxc/repl.lux
@@ -12,7 +12,7 @@
                      [json #+ JSON])
              (coll [array]
                    [list "list/" Functor<List>]
-                   [dict]))
+                   (dictionary ["dict" unordered])))
        (time [instant #+ Instant]
              [duration #+ Duration]
              [date #+ Date])
@@ -46,8 +46,8 @@
   [(exception: #export (<name> {message Text})
      message)]
 
-  [REPL-Initialization-Failed]
-  [REPL-Error]
+  [repl-initialization-failed]
+  [repl-error]
   )
 
 (def: repl-module "<REPL>")
@@ -85,7 +85,7 @@
         (wrap compiler))
       
       (#e.Error message)
-      (task.throw REPL-Initialization-Failed message))))
+      (task.throw repl-initialization-failed message))))
 
 (def: (add-line line [where offset input])
   (-> Text Source Source)
@@ -102,20 +102,20 @@
   (Poly Representation)
   (`` ($_ p.either
           (do p.Monad<Parser>
-            [_ poly.unit]
+            [_ (poly.this Top)]
             (wrap (const "[]")))
           
-          (~~ (do-template [<parser> <type> <formatter>]
+          (~~ (do-template [<type> <formatter>]
                 [(do p.Monad<Parser>
-                   [_ <parser>]
+                   [_ (poly.this <type>)]
                    (wrap (|>> (:! <type>) <formatter>)))]
 
-                [poly.bool Bool %b]
-                [poly.nat Nat %n]
-                [poly.int Int %i]
-                [poly.deg Deg %d]
-                [poly.frac Frac %f]
-                [poly.text Text %t])))))
+                [Bool %b]
+                [Nat %n]
+                [Int %i]
+                [Deg %d]
+                [Frac %f]
+                [Text %t])))))
 
 (def: (special-representation representation)
   (-> (Poly Representation) (Poly Representation))
@@ -324,8 +324,8 @@
               (recur compiler' source' false))
 
             (#e.Error error)
-            (if (ex.match? syntax.End-Of-File error)
+            (if (ex.match? syntax.end-of-file error)
               (recur compiler source true)
-              (exec (log! (REPL-Error error))
+              (exec (log! (ex.construct repl-error error))
                 (recur compiler fresh-source false))))))
       )))