- Fixed some bugs.

1 files changed, 6 insertions, 6 deletions

diff --git a/new-luxc/source/luxc/lang/analysis/procedure/common.lux b/new-luxc/source/luxc/lang/analysis/procedure/common.lux
index e06a3d2b4..f3c296b2b 100644
--- a/new-luxc/source/luxc/lang/analysis/procedure/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/procedure/common.lux
@@ -1,7 +1,7 @@
 (;module:
   lux
   (lux (control [monad #+ do])
-       (concurrency ["A" atom])
+       (concurrency [atom #+ Atom])
        (data [text]
              text/format
              (coll [list "list/" Functor<List>]
@@ -23,12 +23,12 @@
   (-> &;Analyser &;Eval (List Code) (Meta la;Analysis)))
 
 (type: #export Bundle
-  (Dict Text Proc))
+  (Dict Text (-> Text Proc)))
 
 (def: #export (install name unnamed)
   (-> Text (-> Text Proc)
       (-> Bundle Bundle))
-  (dict;put name (unnamed name)))
+  (dict;put name unnamed))
 
 (def: #export (prefix prefix bundle)
   (-> Text Bundle Bundle)
@@ -357,7 +357,7 @@
             [initA (&;with-expected-type varT
                      (analyse initC))
              outputT (&;with-type-env
-                       (tc;clean var-id (type (A;Atom varT))))
+                       (tc;clean var-id (type (Atom varT))))
              expected meta;expected-type
              _ (&;with-type-env
                  (tc;check expected outputT))]
@@ -371,7 +371,7 @@
   (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
-        ((unary (type (A;Atom varT)) varT proc)
+        ((unary (type (Atom varT)) varT proc)
          analyse eval args)))))
 
 (def: (atom-compare-and-swap proc)
@@ -379,7 +379,7 @@
   (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
-        ((trinary varT varT (type (A;Atom varT)) Bool proc)
+        ((trinary varT varT (type (Atom varT)) Bool proc)
          analyse eval args)))))
 
 (def: atom-procs