diff options
| author | Eduardo Julian | 2021-01-03 07:48:12 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-01-03 07:48:12 -0400 |
| commit | c03bd9f9787fb9f383c57b4ebb0fa9d49abbfaa1 (patch) | |
| tree | 68a7f2f043eff00492ffe2b5e442bae98167a873 /stdlib/source/lux/tool | |
| parent | 02d27daeacac74785c2b0f4d1ce03d432377a36e (diff) | |
Place the "program:" macro of "lux/control/parser/cli" in its own module.
Diffstat (limited to 'stdlib/source/lux/tool')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux index fe753e2cc..2502d8325 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -1056,20 +1056,21 @@ _ true) arity_matches? (n.= (list.size inputsJT) (list.size parameters)) - inputs_match? (list\fold (function (_ [expectedJC actualJC] prev) - (and prev - (jvm\= expectedJC (: (Type Value) - (case (jvm_parser.var? actualJC) - (#.Some name) - (|> aliasing - (dictionary.get name) - (maybe.default name) - jvm.var) - - #.None - actualJC))))) - true - (list.zip/2 parameters inputsJT))]] + inputs_match? (and arity_matches? + (list\fold (function (_ [expectedJC actualJC] prev) + (and prev + (jvm\= expectedJC (: (Type Value) + (case (jvm_parser.var? actualJC) + (#.Some name) + (|> aliasing + (dictionary.get name) + (maybe.default name) + jvm.var) + + #.None + actualJC))))) + true + (list.zip/2 parameters inputsJT)))]] (wrap (and correct_class? correct_method? static_matches? |