Added the capacity to extract type-information from values to create new types based on that.

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))))))