diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/compiler/default/phase/analysis/module.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/compiler/default/phase/analysis/module.lux b/stdlib/source/lux/compiler/default/phase/analysis/module.lux index adc442c1f..61d3a2ec6 100644 --- a/stdlib/source/lux/compiler/default/phase/analysis/module.lux +++ b/stdlib/source/lux/compiler/default/phase/analysis/module.lux @@ -35,8 +35,8 @@ [cannot-declare-tags-for-foreign-type] ) -(exception: #export (cannot-define-more-than-once {name Ident}) - (%ident name)) +(exception: #export (cannot-define-more-than-once {name Name}) + (%name name)) (exception: #export (can-only-change-state-of-active-module {module Text} {state Module-State}) (ex.report ["Module" module] @@ -203,8 +203,8 @@ #.None ((///.throw unknown-module module-name) state)))))] - [tags #.tags (List [Text [Nat (List Ident) Bit Type]])] - [types #.types (List [Text [(List Ident) Bit Type]])] + [tags #.tags (List [Text [Nat (List Name) Bit Type]])] + [types #.types (List [Text [(List Name) Bit Type]])] [hash #.module-hash Nat] ) @@ -228,8 +228,8 @@ (do ///.Monad<Operation> [self-name (extension.lift macro.current-module-name) [type-module type-name] (case type - (#.Named type-ident _) - (wrap type-ident) + (#.Named type-name _) + (wrap type-name) _ (///.throw cannot-declare-tags-for-unnamed-type [tags type])) |