diff options
Diffstat (limited to '')
| -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] |