diff options
| author | Eduardo Julian | 2021-09-13 20:51:08 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 20:51:08 -0400 |
| commit | 6eb57a31fd2647626ef301b827c9a99ef0f2a484 (patch) | |
| tree | 429c2962b69a686319bb9e1305fb10906c28d861 /stdlib/source/library/lux/type | |
| parent | c19b19a2d48c3937bae72982cbb88b78d21b3891 (diff) | |
Re-named "primitive" to "Primitive".
Diffstat (limited to 'stdlib/source/library/lux/type')
| -rw-r--r-- | stdlib/source/library/lux/type/abstract.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/library/lux/type/unit.lux | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type/abstract.lux b/stdlib/source/library/lux/type/abstract.lux index 81d04ac73..6ebbe7719 100644 --- a/stdlib/source/library/lux/type/abstract.lux +++ b/stdlib/source/library/lux/type/abstract.lux @@ -232,7 +232,7 @@ abstraction_declaration representation_declaration])] (in (list& (` (type: (~ export_policy) (~ abstraction_declaration) - (primitive (~ (code.text (abstraction_type_name [current_module name]))) + (Primitive (~ (code.text (abstraction_type_name [current_module name]))) [(~+ type_varsC)]))) (` (type: (~ representation_declaration) (~ representation_type))) diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux index 5822d2103..d1a00e489 100644 --- a/stdlib/source/library/lux/type/unit.lux +++ b/stdlib/source/library/lux/type/unit.lux @@ -94,7 +94,7 @@ [@ meta.current_module_name .let [g!type (code.local_identifier type_name)]] (in (list (` (type: (~ export_policy) (~ g!type) - (primitive (~ (code.text (%.name [@ type_name])))))) + (Primitive (~ (code.text (%.name [@ type_name])))))) (` (implementation: (~ export_policy) (~ (code.local_identifier unit_name)) (..Unit (~ g!type)) @@ -125,7 +125,7 @@ @ meta.current_module_name .let [g!scale (code.local_identifier type_name)]] (in (list (` (type: (~ export_policy) ((~ g!scale) (~' u)) - (primitive (~ (code.text (%.name [@ type_name]))) [(~' u)]))) + (Primitive (~ (code.text (%.name [@ type_name]))) [(~' u)]))) (` (implementation: (~ export_policy) (~ (code.local_identifier scale_name)) (..Scale (~ g!scale)) |