diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux (renamed from new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux) | 39 |
1 files changed, 20 insertions, 19 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux b/new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux index 3c29410d0..dba0e3e66 100644 --- a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux +++ b/new-luxc/source/luxc/lang/extension/analysis/host.jvm.lux @@ -26,6 +26,7 @@ (analysis ["&." common] [".A" inference]))) ["@" //common] + [///] ) (exception: #export Wrong-Syntax) @@ -190,7 +191,7 @@ (dict.from-list text.Hash<Text>))) (def: (array-length proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list arrayC)) @@ -205,7 +206,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +1 (list.size args)))))) (def: (array-new proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list lengthC)) @@ -296,7 +297,7 @@ (&.throw Invalid-Type-For-Array-Element (%type elemT)))) (def: (array-read proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list arrayC idxC)) @@ -316,7 +317,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +2 (list.size args)))))) (def: (array-write proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list arrayC idxC valueC)) @@ -348,7 +349,7 @@ ))) (def: (object-null proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list)) @@ -361,7 +362,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +0 (list.size args)))))) (def: (object-null? proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list objectC)) @@ -376,7 +377,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +1 (list.size args)))))) (def: (object-synchronized proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list monitorC exprC)) @@ -471,7 +472,7 @@ (wrap (Class::isAssignableFrom [sub] super)))) (def: (object-throw proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list exceptionC)) @@ -491,7 +492,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +1 (list.size args)))))) (def: (object-class proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list classC)) @@ -509,7 +510,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +1 (list.size args)))))) (def: (object-instance? proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list classC objectC)) @@ -804,7 +805,7 @@ (wrap [castT unboxed sourceA]))) (def: (static-get proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list classC fieldC)) @@ -823,7 +824,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +2 (list.size args)))))) (def: (static-put proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list classC fieldC valueC)) @@ -847,7 +848,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +3 (list.size args)))))) (def: (virtual-get proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list classC fieldC objectC)) @@ -867,7 +868,7 @@ (&.throw @.Incorrect-Procedure-Arity (@.wrong-arity proc +3 (list.size args)))))) (def: (virtual-put proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case args (^ (list classC fieldC valueC objectC)) @@ -1111,7 +1112,7 @@ (wrap argA)))) (def: (invoke//static proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case (: (e.Error [Text Text (List [Text Code])]) (s.run args ($_ p.seq s.text s.text (p.some (s.tuple (p.seq s.text s.any)))))) @@ -1128,7 +1129,7 @@ (&.throw Wrong-Syntax (wrong-syntax proc args))))) (def: (invoke//virtual proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case (: (e.Error [Text Text Code (List [Text Code])]) (s.run args ($_ p.seq s.text s.text s.any (p.some (s.tuple (p.seq s.text s.any)))))) @@ -1151,7 +1152,7 @@ (&.throw Wrong-Syntax (wrong-syntax proc args))))) (def: (invoke//special proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case (: (e.Error [(List Code) [Text Text Code (List [Text Code]) Unit]]) (p.run args ($_ p.seq s.text s.text s.any (p.some (s.tuple (p.seq s.text s.any))) s.end!))) @@ -1168,7 +1169,7 @@ (&.throw Wrong-Syntax (wrong-syntax proc args))))) (def: (invoke//interface proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case (: (e.Error [Text Text Code (List [Text Code])]) (s.run args ($_ p.seq s.text s.text s.any (p.some (s.tuple (p.seq s.text s.any)))))) @@ -1189,7 +1190,7 @@ (&.throw Wrong-Syntax (wrong-syntax proc args))))) (def: (invoke//constructor proc) - (-> Text @.Proc) + (-> Text ///.Analysis) (function [analyse eval args] (case (: (e.Error [Text (List [Text Code])]) (s.run args ($_ p.seq s.text (p.some (s.tuple (p.seq s.text s.any)))))) |