diff options
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index bd3f36e3e..4cb5319cd 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -459,8 +459,9 @@ #0) ... (type: .public (Either l r) -... {#Left l} -... {#Right r}) +... (Variant +... {#Left l} +... {#Right r})) ("lux def type tagged" Either {#Named [..prelude_module "Either"] {#UnivQ {#End} @@ -482,9 +483,10 @@ .public) ... (type: .public Module_State -... #Active -... #Compiled -... #Cached) +... (Variant +... #Active +... #Compiled +... #Cached)) ("lux def type tagged" Module_State {#Named [..prelude_module "Module_State"] {#Sum |