diff options
Diffstat (limited to 'stdlib/source/lux/platform/compiler/phase/extension/analysis/host.jvm.lux')
| -rw-r--r-- | stdlib/source/lux/platform/compiler/phase/extension/analysis/host.jvm.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/lux/platform/compiler/phase/extension/analysis/host.jvm.lux b/stdlib/source/lux/platform/compiler/phase/extension/analysis/host.jvm.lux index a494b0e44..2981dc89b 100644 --- a/stdlib/source/lux/platform/compiler/phase/extension/analysis/host.jvm.lux +++ b/stdlib/source/lux/platform/compiler/phase/extension/analysis/host.jvm.lux @@ -6,7 +6,7 @@ ["ex" exception (#+ exception:)] pipe] [data - ["e" error] + ["." error (#+ Error)] ["." maybe] ["." product] ["." text ("text/." Equivalence<Text>) @@ -485,10 +485,10 @@ (do ////.Monad<Operation> [] (case (Class::forName name) - (#e.Success [class]) + (#error.Success [class]) (wrap class) - (#e.Error error) + (#error.Failure error) (////.throw unknown-class name)))) (def: (sub-class? super sub) @@ -759,7 +759,7 @@ (do ////.Monad<Operation> [class (load-class class-name)] (case (Class::getDeclaredField field-name class) - (#e.Success field) + (#error.Success field) (let [owner (Field::getDeclaringClass field)] (if (is? owner class) (wrap [class field]) @@ -768,7 +768,7 @@ " Owner Class: " (Class::getName owner) text.new-line "Target Class: " class-name text.new-line)))) - (#e.Error _) + (#error.Failure _) (////.throw unknown-field (format class-name "#" field-name))))) (def: (static-field class-name field-name) @@ -1143,9 +1143,9 @@ (def: invoke::static Handler (function (_ extension-name analyse args) - (case (: (e.Error [Text Text (List [Text Code])]) + (case (: (Error [Text Text (List [Text Code])]) (s.run args ($_ p.and s.text s.text (p.some (s.tuple (p.and s.text s.any)))))) - (#e.Success [class method argsTC]) + (#error.Success [class method argsTC]) (do ////.Monad<Operation> [#let [argsT (list/map product.left argsTC)] [methodT exceptionsT] (method-candidate class method #Static argsT) @@ -1160,9 +1160,9 @@ (def: invoke::virtual Handler (function (_ extension-name analyse args) - (case (: (e.Error [Text Text Code (List [Text Code])]) + (case (: (Error [Text Text Code (List [Text Code])]) (s.run args ($_ p.and s.text s.text s.any (p.some (s.tuple (p.and s.text s.any)))))) - (#e.Success [class method objectC argsTC]) + (#error.Success [class method objectC argsTC]) (do ////.Monad<Operation> [#let [argsT (list/map product.left argsTC)] [methodT exceptionsT] (method-candidate class method #Virtual argsT) @@ -1183,9 +1183,9 @@ (def: invoke::special Handler (function (_ extension-name analyse args) - (case (: (e.Error [(List Code) [Text Text Code (List [Text Code]) Any]]) + (case (: (Error [(List Code) [Text Text Code (List [Text Code]) Any]]) (p.run args ($_ p.and s.text s.text s.any (p.some (s.tuple (p.and s.text s.any))) s.end!))) - (#e.Success [_ [class method objectC argsTC _]]) + (#error.Success [_ [class method objectC argsTC _]]) (do ////.Monad<Operation> [#let [argsT (list/map product.left argsTC)] [methodT exceptionsT] (method-candidate class method #Special argsT) @@ -1200,9 +1200,9 @@ (def: invoke::interface Handler (function (_ extension-name analyse args) - (case (: (e.Error [Text Text Code (List [Text Code])]) + (case (: (Error [Text Text Code (List [Text Code])]) (s.run args ($_ p.and s.text s.text s.any (p.some (s.tuple (p.and s.text s.any)))))) - (#e.Success [class-name method objectC argsTC]) + (#error.Success [class-name method objectC argsTC]) (do ////.Monad<Operation> [#let [argsT (list/map product.left argsTC)] class (load-class class-name) @@ -1221,9 +1221,9 @@ (def: invoke::constructor Handler (function (_ extension-name analyse args) - (case (: (e.Error [Text (List [Text Code])]) + (case (: (Error [Text (List [Text Code])]) (s.run args ($_ p.and s.text (p.some (s.tuple (p.and s.text s.any)))))) - (#e.Success [class argsTC]) + (#error.Success [class argsTC]) (do ////.Monad<Operation> [#let [argsT (list/map product.left argsTC)] [methodT exceptionsT] (constructor-candidate class argsT) |