diff options
| author | Eduardo Julian | 2016-04-26 00:07:30 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-04-26 00:07:30 -0400 |
| commit | a498da4f24bb7c9e248c6b00c3bc4283a49e623f (patch) | |
| tree | 89178f96fb37905684a89b2ac181a9a05601855a /src/lux/analyser/host.clj | |
| parent | 067c48feb464475cfa428b0c048f6d618a2b30e6 (diff) | |
- Made some fixes to type-inference for pattern-matching.
Diffstat (limited to 'src/lux/analyser/host.clj')
| -rw-r--r-- | src/lux/analyser/host.clj | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/lux/analyser/host.clj b/src/lux/analyser/host.clj index 55d534f96..20028441c 100644 --- a/src/lux/analyser/host.clj +++ b/src/lux/analyser/host.clj @@ -304,7 +304,6 @@ [gret exceptions parent-gvars gvars gargs] (if (= "<init>" method) (return (&/T [Void/TYPE &/$Nil &/$Nil &/$Nil &/$Nil])) (&host/lookup-virtual-method class-loader class method classes)) - ;; :let [_ (prn '<name> 0 gret)] _ (ensure-catching exceptions) =object (&&/analyse-1+ analyse object) [sub-class sub-params] (ensure-object (&&/expr-type* =object)) @@ -314,8 +313,6 @@ parent-gvars super-params*)] [output-type =args] (analyse-method-call-helper analyse gret gtype-env gvars gargs args) - ;; :let [_ (prn '<name> 1 (&type/show-type output-type))] - ;; :let [_ (prn '<name> 2 (&type/show-type (as-otype+ output-type)))] _ (&type/check exo-type (as-otype+ output-type)) _cursor &/cursor] (return (&/|list (&&/|meta exo-type _cursor |