diff options
| author | Eduardo Julian | 2015-05-06 17:46:08 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-05-06 17:46:08 -0400 |
| commit | 2560b63dcc98a6a6b5e2f938d8279d9bb4627052 (patch) | |
| tree | 07d1c96d72f36317c1e6f558984c981fee013787 /src/lux/analyser/base.clj | |
| parent | 2aca948eddd42300a936fd449b8ab77333d95146 (diff) | |
- Removed all the unnecesary comments.
- Made some changes to the way type-checking is performed on variants, records & tuples in order to improve the speed of type-checking.
Diffstat (limited to 'src/lux/analyser/base.clj')
| -rw-r--r-- | src/lux/analyser/base.clj | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/lux/analyser/base.clj b/src/lux/analyser/base.clj index 9913da4ae..b16025349 100644 --- a/src/lux/analyser/base.clj +++ b/src/lux/analyser/base.clj @@ -6,21 +6,18 @@ ;; [Exports] (defn expr-type [syntax+] - ;; (prn 'expr-type syntax+) - ;; (prn 'expr-type (aget syntax+ 0)) (matchv ::M/objects [syntax+] [[_ type]] (return type))) (defn analyse-1 [analyse exo-type elem] (|do [output (analyse exo-type elem)] - (do ;; (prn 'analyse-1 (aget output 0)) - (matchv ::M/objects [output] - [["lux;Cons" [x ["lux;Nil" _]]]] - (return x) + (matchv ::M/objects [output] + [["lux;Cons" [x ["lux;Nil" _]]]] + (return x) - [_] - (fail "[Analyser Error] Can't expand to other than 1 element."))))) + [_] + (fail "[Analyser Error] Can't expand to other than 1 element.")))) (defn resolved-ident [ident] (|let [[?module ?name] ident] |