diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/type/primitive.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type/primitive.lux b/stdlib/source/library/lux/type/primitive.lux index 0bddb9c84..4ab0e4e3d 100644 --- a/stdlib/source/library/lux/type/primitive.lux +++ b/stdlib/source/library/lux/type/primitive.lux @@ -22,7 +22,7 @@ ["[0]" symbol (.use "[1]#[0]" codec)]]]] ["[0]" //]) -(type: .public Frame +(type .public Frame (Record [#name Text #type_vars (List Code) @@ -87,10 +87,10 @@ abstraction_declaration (` ((~ (code.local name)) (~+ type_varsC))) representation_declaration (` ((~ g!Representation) (~+ type_varsC)))]] (..declaration [name type_varsC abstraction_declaration representation_declaration] - (` (.these (type: (~ export_policy) (~ abstraction_declaration) + (` (.these (type (~ export_policy) (~ abstraction_declaration) (Primitive (~ (code.text (symbol#encoded [current_module name]))) [(~+ type_varsC)])) - (type: (~ representation_declaration) + (type (~ representation_declaration) (~ representation_type)) (~+ primitives))))))) |