diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/host/jvm.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/host/jvm.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm.lux b/new-luxc/source/luxc/lang/host/jvm.lux index 3c5fa3150..adb24b8c0 100644 --- a/new-luxc/source/luxc/lang/host/jvm.lux +++ b/new-luxc/source/luxc/lang/host/jvm.lux @@ -93,7 +93,7 @@ (` (def: (~' #export) (~ (code.local-symbol option)) (~ g!type) (|> (~ g!none) - (set@ (~ (code.local-tag option)) true))))) + (set@ (~ (code.local-tag option)) #1))))) options)] (wrap (list& (` (type: (~' #export) (~ g!type) (~ (code.record (list/map (function (_ tag) @@ -103,7 +103,7 @@ (` (def: (~' #export) (~ g!none) (~ g!type) (~ (code.record (list/map (function (_ tag) - [tag (` false)]) + [tag (` #0)]) g!tags+))))) (` (def: (~' #export) ((~ (code.local-symbol ++)) (~ g!_left) (~ g!_right)) |