diff options
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -rw-r--r-- | stdlib/source/test/lux.lux | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index df0eb2f09..b7fb2feb5 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -91,13 +91,11 @@ /locale.test /macro.test /math.test - /meta.test /program.test /static.test /target.test /test.test - /time.test ... /tool.test /type.test @@ -233,7 +231,7 @@ return))) (/.implementation: (global_returner value) - (All [a] (-> a (Returner a))) + (All (_ a) (-> a (Returner a))) (def: (return _) value)) @@ -861,24 +859,26 @@ (function (_ _) (: /.Int (undefined)))) true))) - (_.cover [/.All] - (let [identity (: (/.All [a] (-> a a)) - (|>>))] - (and (exec - (: Nat - (identity left)) - true) - (exec - (: Text - (identity right)) - true)))) - (_.cover [/.Ex] - (let [hide (: (/.Ex [a] (-> Nat a)) - (|>>))] - (exec - (: /.Any - (hide left)) - true))) + (_.for [/.__adjusted_quantified_type__] + ($_ _.and + (_.cover [/.All] + (let [identity (: (/.All (_ a) (-> a a)) + (|>>))] + (and (exec + (: Nat + (identity left)) + true) + (exec + (: Text + (identity right)) + true)))) + (_.cover [/.Ex] + (let [hide (: (/.Ex (_ a) (-> Nat a)) + (|>>))] + (exec + (: /.Any + (hide left)) + true))))) (_.cover [/.same?] (let [not_left (|> left ++ --)] (and (/.same? left left) @@ -1042,12 +1042,12 @@ )) (def: identity/constant - (All [a] (-> a a)) + (All (_ a) (-> a a)) (function (_ value) value)) (def: (identity/function value) - (All [a] (-> a a)) + (All (_ a) (-> a a)) value) (def: for_def: |