aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/type.lux10
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))))))