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/test | |
| parent | ab99de20a3d0566a71bf0ef607d9d6e291d7f62a (diff) | |
Re-branded "abstract" types as "primitive" types.
Diffstat (limited to 'stdlib/source/test')
| -rw-r--r-- | stdlib/source/test/lux/type.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/type/primitive.lux (renamed from stdlib/source/test/lux/type/abstract.lux) | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 1577c6a20..d2e0fed2b 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -25,7 +25,7 @@ [\\library ["[0]" / ("[1]#[0]" equivalence)]] ["[0]" / "_" - ["[1][0]" abstract] + ["[1][0]" primitive] ["[1][0]" check] ["[1][0]" dynamic] ["[1][0]" implicit] @@ -252,7 +252,7 @@ (text#= (/.format left) (/.format right)))) )) - /abstract.test + /primitive.test /check.test /dynamic.test /implicit.test diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/primitive.lux index df08a62ae..5b4a3fe06 100644 --- a/stdlib/source/test/lux/type/abstract.lux +++ b/stdlib/source/test/lux/type/primitive.lux @@ -46,16 +46,16 @@ (with_expansions [no_current! (..with_no_active_frames (..current)) no_specific! (..with_no_active_frames (..specific))] - (/.abstract: (g!Foo a) + (/.primitive: (g!Foo a) Text - (/.abstract: (g!Bar a) + (/.primitive: (g!Bar a) Nat (def: .public test Test (<| (_.covering /._) - (_.for [/.abstract:]) + (_.for [/.primitive:]) (do random.monad [expected_foo (random.lower_case 5) expected_bar random.nat] |