diff options
author | Eduardo Julian | 2018-05-13 01:13:10 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-05-13 01:13:10 -0400 |
commit | f59d42c7a9ad26014c9ff893d53336a0e5d8c7d3 (patch) | |
tree | b45da7933fc0a97087da938ea16727b023d83b32 /stdlib/test | |
parent | 38742d7c110f5a28f9ea4aec117cc531ac6c9b5e (diff) |
- Re-named ".../eq" modules to ".../equality".
- Other minor improvements.
Diffstat (limited to '')
-rw-r--r-- | stdlib/test/test/lux/control/equality.lux (renamed from stdlib/test/test/lux/control/eq.lux) | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/control/parser.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/coll/bits.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/coll/dictionary/ordered.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/coll/dictionary/unordered.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/format/json.lux | 6 | ||||
-rw-r--r-- | stdlib/test/test/lux/macro/poly/equality.lux (renamed from stdlib/test/test/lux/macro/poly/eq.lux) | 4 | ||||
-rw-r--r-- | stdlib/test/test/lux/macro/poly/functor.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/macro/syntax.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/type/implicit.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/world/blob.lux | 2 | ||||
-rw-r--r-- | stdlib/test/tests.lux | 2 |
12 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/test/test/lux/control/eq.lux b/stdlib/test/test/lux/control/equality.lux index c63973079..5139b41ea 100644 --- a/stdlib/test/test/lux/control/eq.lux +++ b/stdlib/test/test/lux/control/equality.lux @@ -1,6 +1,6 @@ (.module: lux - (lux (control ["/" eq] + (lux (control ["/" equality] [monad #+ do]) (math ["r" random]) test)) diff --git a/stdlib/test/test/lux/control/parser.lux b/stdlib/test/test/lux/control/parser.lux index c295463cf..bc26444ce 100644 --- a/stdlib/test/test/lux/control/parser.lux +++ b/stdlib/test/test/lux/control/parser.lux @@ -2,7 +2,7 @@ lux (lux [io] (control ["M" monad #+ do Monad] - [eq #+ Eq] + [equality #+ Eq] ["&" parser] pipe) (data [text "Text/" Monoid<Text>] diff --git a/stdlib/test/test/lux/data/coll/bits.lux b/stdlib/test/test/lux/data/coll/bits.lux index f416f9866..a5141034c 100644 --- a/stdlib/test/test/lux/data/coll/bits.lux +++ b/stdlib/test/test/lux/data/coll/bits.lux @@ -5,7 +5,7 @@ (data (coll ["/" bits])) ["r" math/random]) lux/test - (test (lux (control ["_." eq])))) + (test (lux (control ["_eq" equality])))) (def: (size min max) (-> Nat Nat (r.Random Nat)) diff --git a/stdlib/test/test/lux/data/coll/dictionary/ordered.lux b/stdlib/test/test/lux/data/coll/dictionary/ordered.lux index 041e27484..a373f6107 100644 --- a/stdlib/test/test/lux/data/coll/dictionary/ordered.lux +++ b/stdlib/test/test/lux/data/coll/dictionary/ordered.lux @@ -2,7 +2,7 @@ lux (lux [io] (control [monad #+ do Monad] - [eq #+ Eq]) + [equality #+ Eq]) (data [product] [number] (coll (set ["s" unordered]) diff --git a/stdlib/test/test/lux/data/coll/dictionary/unordered.lux b/stdlib/test/test/lux/data/coll/dictionary/unordered.lux index f0224a015..93b83dc7b 100644 --- a/stdlib/test/test/lux/data/coll/dictionary/unordered.lux +++ b/stdlib/test/test/lux/data/coll/dictionary/unordered.lux @@ -2,7 +2,7 @@ lux (lux [io] (control [monad #+ do Monad] - [eq]) + ["eq" equality]) (data [text] text/format [number] diff --git a/stdlib/test/test/lux/data/format/json.lux b/stdlib/test/test/lux/data/format/json.lux index e2781d2a5..43b0851c0 100644 --- a/stdlib/test/test/lux/data/format/json.lux +++ b/stdlib/test/test/lux/data/format/json.lux @@ -3,7 +3,7 @@ (lux [io] (control [monad #+ do Monad] codec - [eq #+ Eq] + [equality #+ Eq] pipe ["p" parser]) (data [text] @@ -20,7 +20,7 @@ (macro [code] [syntax #+ syntax:] [poly #+ derived:] - [poly/eq] + [poly/equality] [poly/json]) (type [unit]) ["r" math/random] @@ -97,7 +97,7 @@ (r.alt r.frac (r.seq r.frac gen-recursive))))) -(derived: (poly/eq.Eq<?> Recursive)) +(derived: (poly/equality.Eq<?> Recursive)) (def: qty (All [unit] (r.Random (unit.Qty unit))) diff --git a/stdlib/test/test/lux/macro/poly/eq.lux b/stdlib/test/test/lux/macro/poly/equality.lux index d22475b11..beb203bcb 100644 --- a/stdlib/test/test/lux/macro/poly/eq.lux +++ b/stdlib/test/test/lux/macro/poly/equality.lux @@ -2,7 +2,7 @@ lux (lux [io] (control [monad #+ do Monad] - [eq #+ Eq]) + [equality #+ Eq]) (data text/format [bool] [number "int/" Number<Int>] @@ -12,7 +12,7 @@ ["r" math/random] [macro] (macro [poly #+ derived:] - ["&" poly/eq])) + ["&" poly/equality])) lux/test) ## [Utils] diff --git a/stdlib/test/test/lux/macro/poly/functor.lux b/stdlib/test/test/lux/macro/poly/functor.lux index 3cb6653a5..86c3eca7f 100644 --- a/stdlib/test/test/lux/macro/poly/functor.lux +++ b/stdlib/test/test/lux/macro/poly/functor.lux @@ -3,7 +3,7 @@ (lux [io] (control [monad #+ do Monad] [functor] - [eq #+ Eq] + [equality #+ Eq] [state]) (data text/format [bool] diff --git a/stdlib/test/test/lux/macro/syntax.lux b/stdlib/test/test/lux/macro/syntax.lux index 5c5ea835f..ba45ff6e4 100644 --- a/stdlib/test/test/lux/macro/syntax.lux +++ b/stdlib/test/test/lux/macro/syntax.lux @@ -2,7 +2,7 @@ lux (lux [io] (control [monad #+ do Monad] - [eq #+ Eq] + [equality #+ Eq] ["p" parser]) (data [text "Text/" Monoid<Text>] text/format diff --git a/stdlib/test/test/lux/type/implicit.lux b/stdlib/test/test/lux/type/implicit.lux index c07067b3e..a5af06c5d 100644 --- a/stdlib/test/test/lux/type/implicit.lux +++ b/stdlib/test/test/lux/type/implicit.lux @@ -3,7 +3,7 @@ (lux [io] (control [monad #+ do Monad] functor - [eq]) + [equality]) (data [number] [bool "bool/" Eq<Bool>] (coll [list])) diff --git a/stdlib/test/test/lux/world/blob.lux b/stdlib/test/test/lux/world/blob.lux index 1093f302f..e1c77552b 100644 --- a/stdlib/test/test/lux/world/blob.lux +++ b/stdlib/test/test/lux/world/blob.lux @@ -10,7 +10,7 @@ (world ["/" blob]) ["r" math/random]) lux/test - (test (lux (control ["_." eq])))) + (test (lux (control ["_eq" equality])))) (def: (succeed result) (-> (e.Error Bool) Bool) diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux index 6a429093b..ce4113317 100644 --- a/stdlib/test/tests.lux +++ b/stdlib/test/tests.lux @@ -66,7 +66,7 @@ ["_." fuzzy])) (macro ["_." code] ["_." syntax] - (poly ["poly_." eq] + (poly ["poly_." equality] ["poly_." functor])) (type ["_." implicit] ["_." resource] |