aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/procedure
diff options
context:
space:
mode:
authorEduardo Julian2017-11-06 22:03:42 -0400
committerEduardo Julian2017-11-06 22:03:42 -0400
commit0cb55507c100f6817225e644c2d19e73940edad6 (patch)
tree8e99d826fc51f052b086f0398b257176dcac11cc /new-luxc/source/luxc/lang/analysis/procedure
parent69d3bdf98a5be8dd7aacc0b37bdbfcbf226faf62 (diff)
- Fixed some bugs.
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis/procedure')
-rw-r--r--new-luxc/source/luxc/lang/analysis/procedure/common.lux12
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