diff options
| author | Eduardo Julian | 2022-07-28 02:44:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-28 02:44:45 -0400 |
| commit | a4847190df926d35f7ece97da50a2a8b1462a24f (patch) | |
| tree | d368c52b41425631c3962d3c238e6c3c9c797ad6 /stdlib/source/library/lux/ffi.old.lux | |
| parent | ebfe1bbbe543299f8691e4862fbc899637ff8cfd (diff) | |
Now statically resolving values from globals in pattern-matching.
Diffstat (limited to 'stdlib/source/library/lux/ffi.old.lux')
| -rw-r--r-- | stdlib/source/library/lux/ffi.old.lux | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux index 7bcd63ce1..2208f9ee4 100644 --- a/stdlib/source/library/lux/ffi.old.lux +++ b/stdlib/source/library/lux/ffi.old.lux @@ -329,12 +329,12 @@ (-> Primitive_Mode (List Type_Parameter) Bit GenericType Code) Code) (case [name+params mode in_array?] - (^.multi [[prim {.#End}] {#ManualPrM} #0] + (^.multi [[prim {.#End}] {#ManualPrM} .false] [(manual_primitive_type prim) {.#Some output}]) output - (^.multi [[prim {.#End}] {#AutoPrM} #0] + (^.multi [[prim {.#End}] {#AutoPrM} .false] [(auto_primitive_type prim) {.#Some output}]) output @@ -363,7 +363,7 @@ class_type') {#GenericArray param} - (let [=param (class_type' mode type_params #1 param)] + (let [=param (class_type' mode type_params true param)] (` (array.Array (, =param)))) (^.or {#GenericWildcard {.#None}} @@ -376,7 +376,7 @@ (def (class_type mode type_params class) (-> Primitive_Mode (List Type_Parameter) GenericType Code) - (class_type' mode type_params #0 class)) + (class_type' mode type_params false class)) (def (type_param_type$ [name bounds]) (-> Type_Parameter Code) @@ -1414,8 +1414,11 @@ (def (free_type_param? [name bounds]) (-> Type_Parameter Bit) (case bounds - {.#End} #1 - _ #0)) + {.#End} + true + + _ + false)) (def (lux_type_parameter [name _]) (-> Type_Parameter Code) |