diff options
| author | Eduardo Julian | 2021-09-15 01:52:03 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-15 01:52:03 -0400 |
| commit | 86c04a4ce3be995edf14ae7f3bf1e137d478c40e (patch) | |
| tree | d3bc5299e0e82b8253648d6abc8af79de77e5f89 /lux-jvm/source/luxc/lang/translation/jvm/function.lux | |
| parent | fbecb061fb8530ad7d04e8e3f67605e2964822e4 (diff) | |
Correctly analyzing records in the presence of local bindings.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/function.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux index 17a246833..441eac0f6 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Type Label function} + [lux {"-" Type Label Primitive function} [abstract ["[0]" monad {"+" do}] ["[0]" enum]] |