diff options
| author | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
| commit | f11afb9d2dfe2d59b41e8056eb8c4ae65268415f (patch) | |
| tree | d7f57f5d62ddb58fceec0a827b0047ed70833841 /stdlib/source/library/lux/tool/compiler | |
| parent | ab99de20a3d0566a71bf0ef607d9d6e291d7f62a (diff) | |
Re-branded "abstract" types as "primitive" types.
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler')
4 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux index e2bd7a114..622a52d82 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux @@ -27,7 +27,7 @@ [number ["n" nat ("[1]#[0]" equivalence)]]] [type - [abstract "*"]]]] + [primitive "*"]]]] [/ ["[0]" artifact] ["[0]" registry {"+" Registry}] @@ -72,7 +72,7 @@ #output Output #registry Registry])) -(abstract: .public Archive +(primitive: .public Archive (Record [#next module.ID #resolver (Dictionary descriptor.Module [module.ID (Maybe (Entry Any))])]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux index 78b3aa25f..86d8cfe9e 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux @@ -2,11 +2,11 @@ [library [lux "*" [type - [abstract "*"]]]] + [primitive "*"]]]] [// [signature {"+" Signature}]]) -(abstract: .public (Key k) +(primitive: .public (Key k) Signature (def: .public signature diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux index 5ca25f617..8c1eae9ca 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux @@ -14,7 +14,7 @@ [format ["[0]" binary {"+" Writer}]]] [type {"+" sharing} - [abstract "*"]]]] + [primitive "*"]]]] [/// ["[0]" signature {"+" Signature} ("[1]#[0]" equivalence)] ["[0]" key {"+" Key}]]) @@ -25,7 +25,7 @@ "Expected" (signature.description expected) "Actual" (signature.description actual))) -(abstract: .public (Document d) +(primitive: .public (Document d) (Record [#signature Signature #content d]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux index 6a9420985..5ebd0f2f3 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux @@ -23,13 +23,13 @@ [macro ["^" pattern]] [type - [abstract "*"]]]] + [primitive "*"]]]] ["[0]" // "_" ["[0]" unit] ["[1]" artifact {"+" Artifact ID} ["[2][0]" category {"+" Category}]]]) -(abstract: .public Registry +(primitive: .public Registry (Record [#artifacts (Sequence [Artifact (Set unit.ID)]) #resolver (Dictionary Text [ID (Maybe //category.Definition)])]) |