diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/type.lux | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index b4796911a..c7daced97 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -166,3 +166,13 @@ ($_ seq <quant-tests> ))))) + +(def: extraction + Test + (_.test "Can extract types." + (let [example (: (Maybe Nat) + #.Nonae)] + (type/= (type (List Nat)) + (:extract [a] + {(Maybe a) example} + (List a)))))) |