- Fixed a pattern-matching error where generalizations of types (universal-quantification / AllT) was not being taken into account properly when destructuring.

- Fixed a compiler error wherein the types of definitions didn't generate (correctly) the structures necessary for storage inside the class _meta(data) field.
- Improved both the "open" and "import" macros with extra features.

1 files changed, 4 insertions, 3 deletions

diff --git a/source/lux/meta/lux.lux b/source/lux/meta/lux.lux
index a28d6e5d4..99ca200cf 100644
--- a/source/lux/meta/lux.lux
+++ b/source/lux/meta/lux.lux
@@ -14,7 +14,8 @@
          (lux/data list
                    maybe
                    (show #as S)
-                   (number #as N)))
+                   (number #as N)
+                   (text #as T #open ("text:" Text/Monoid Text/Eq))))
 
 ## [Types]
 ## (deftype (Lux a)
@@ -209,10 +210,10 @@
                                                     (lambda [b] (let [[label _] b] label))))
                                           (:: List/Functor)
                                           (interpose " ")
-                                          (foldL text:++ ""))))))
+                                          (foldL text:++ text:unit))))))
       (:: List/Functor)
       (interpose "\n")
-      (foldL text:++ "")))
+      (foldL text:++ text:unit)))
 
 (def (try-both f x1 x2)
   (All [a b]