diff options
| author | Eduardo Julian | 2015-11-28 22:08:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-11-28 22:08:27 -0400 |
| commit | 8188ca2f93491aa7da983f9ee455c2e15f47b756 (patch) | |
| tree | ec1de68b74c6a37bd3d945e514ee9bbd999e4a8f | |
| parent | a1fafea3e8cacfcf8d28c05bbe62e4a57483a1ae (diff) | |
- Improved support for existential quantification.
| -rw-r--r-- | src/lux/compiler/host.clj | 3 | ||||
| -rw-r--r-- | src/lux/host.clj | 14 |
2 files changed, 12 insertions, 5 deletions
diff --git a/src/lux/compiler/host.clj b/src/lux/compiler/host.clj index f06852ae9..dab50107f 100644 --- a/src/lux/compiler/host.clj +++ b/src/lux/compiler/host.clj @@ -84,6 +84,9 @@ (&/$NamedT ?name ?type) (prepare-return! *writer* ?type) + (&/$ExT _) + nil + _ (assert false (str 'prepare-return! " " (&type/show-type *type*)))) *writer*)) diff --git a/src/lux/host.clj b/src/lux/host.clj index 310024700..2e251013a 100644 --- a/src/lux/host.clj +++ b/src/lux/host.clj @@ -67,7 +67,8 @@ _ (&/T 0 type))) -(let [object-array (str "[" "L" (->class "java.lang.Object") ";")] +(let [ex-type-class (str "L" (->class "java.lang.Object") ";") + object-array (str "[" "L" (->class "java.lang.Object") ";")] (defn ->java-sig [^objects type] "(-> Type (Lux Text))" (|case type @@ -103,6 +104,9 @@ (|do [type* (&type/apply-type ?F ?A)] (->java-sig type*)) + (&/$ExT _) + (return ex-type-class) + _ (assert false (str '->java-sig " " (&type/show-type type))) ))) @@ -122,7 +126,7 @@ lookup-field false ) -(do-template [<name> <static?>] +(do-template [<name> <static?> <method-type>] (defn <name> [class-loader target method-name args] (|let [target-class (Class/forName (&host-type/as-obj target) true class-loader)] (if-let [^Method method (first (for [^Method =method (.getDeclaredMethods (Class/forName (&host-type/as-obj target) true class-loader)) @@ -143,10 +147,10 @@ parent-gvars gvars gargs))) - (fail (str "[Host Error] Method does not exist: " target "." method-name))))) + (fail (str "[Host Error] " <method-type> " method does not exist: " target "." method-name))))) - lookup-static-method true - lookup-virtual-method false + lookup-static-method true "Static" + lookup-virtual-method false "Virtual" ) (defn lookup-constructor [class-loader target args] |