diff options
author | Eduardo Julian | 2018-05-06 00:45:45 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-05-06 00:45:45 -0400 |
commit | 8787650c4b1641832db9df2c35bc3046e886220e (patch) | |
tree | 8c14799379226aa8452d39d91e9a56896db9187f /new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux | |
parent | 3c93d7a3aabaa49c67f9a498bc0d70f0af7f09d0 (diff) |
- Updated new-luxc to the latest stdlib changes.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux | 8 |
1 files changed, 4 insertions, 4 deletions
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> |