diff options
| author | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
| commit | 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 (patch) | |
| tree | 84154fb7a50286cd64a919c8698581c9260ff09d /stdlib/test | |
| parent | 360c8f0cd43452d4a47cdd2002625143b96df6c8 (diff) | |
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Diffstat (limited to 'stdlib/test')
| -rw-r--r-- | stdlib/test/test/lux/lang/type.lux (renamed from stdlib/test/test/lux/meta/type.lux) | 2 | ||||
| -rw-r--r-- | stdlib/test/test/lux/lang/type/check.lux (renamed from stdlib/test/test/lux/meta/type/check.lux) | 2 | ||||
| -rw-r--r-- | stdlib/test/test/lux/meta/type/implicit.lux | 19 | ||||
| -rw-r--r-- | stdlib/test/tests.lux | 8 |
4 files changed, 14 insertions, 17 deletions
diff --git a/stdlib/test/test/lux/meta/type.lux b/stdlib/test/test/lux/lang/type.lux index abddcc033..a592df312 100644 --- a/stdlib/test/test/lux/meta/type.lux +++ b/stdlib/test/test/lux/lang/type.lux @@ -9,7 +9,7 @@ [maybe] (coll [list])) ["r" math/random] - (meta ["&" type])) + (lang ["&" type])) lux/test) ## [Utils] diff --git a/stdlib/test/test/lux/meta/type/check.lux b/stdlib/test/test/lux/lang/type/check.lux index 127e02cbd..32f7e832b 100644 --- a/stdlib/test/test/lux/meta/type/check.lux +++ b/stdlib/test/test/lux/lang/type/check.lux @@ -11,7 +11,7 @@ (coll [list "list/" Functor<List>] [set])) ["r" math/random] - (meta [type "type/" Eq<Type>] + (lang [type "type/" Eq<Type>] ["@" type/check])) lux/test) diff --git a/stdlib/test/test/lux/meta/type/implicit.lux b/stdlib/test/test/lux/meta/type/implicit.lux index 8c05b01af..6d2344120 100644 --- a/stdlib/test/test/lux/meta/type/implicit.lux +++ b/stdlib/test/test/lux/meta/type/implicit.lux @@ -4,15 +4,12 @@ (control [monad #+ do Monad] functor [eq]) - (data [text "Text/" Monoid<Text>] - text/format - [number] - [bool "B/" Eq<Bool>] + (data [number] + [bool "bool/" Eq<Bool>] maybe (coll [list])) ["r" math/random] - (meta [type] - type/implicit)) + (meta type/implicit)) lux/test) (context: "Automatic structure selection" @@ -22,11 +19,11 @@ y r;nat] ($_ seq (test "Can automatically select first-order structures." - (let [(^open "L/") (list;Eq<List> number;Eq<Nat>)] - (and (B/= (:: number;Eq<Nat> = x y) - (::: = x y)) - (L/= (list;n.range +1 +10) - (::: map n.inc (list;n.range +0 +9))) + (let [(^open "list/") (list;Eq<List> number;Eq<Nat>)] + (and (bool/= (:: number;Eq<Nat> = x y) + (::: = x y)) + (list/= (list;n.range +1 +10) + (::: map n.inc (list;n.range +0 +9))) ))) (test "Can automatically select second-order structures." diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux index d4e038774..3e1d6b5f3 100644 --- a/stdlib/test/tests.lux +++ b/stdlib/test/tests.lux @@ -66,11 +66,11 @@ ["_;" syntax] (poly ["poly_;" eq] ["poly_;" functor]) - ["_;" type] - (type ["_;" check] - ["_;" implicit] + (type ["_;" implicit] ["_;" object])) - (lang ["lang_;" syntax]) + (lang ["lang_;" syntax] + ["_;" type] + (type ["_;" check])) (world ["_;" blob] ["_;" file] (net ["_;" tcp] |