From 4c36eaf769bc74e708d1f63e67ff612176963731 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 15 Jul 2017 20:45:10 -0400 Subject: - Can now generate Eq instances for #rec-style recursive types. - Minor refactorings. --- stdlib/source/lux.lux | 4 +- stdlib/source/lux/concurrency/frp.lux | 2 +- stdlib/source/lux/control/codec.lux | 2 +- stdlib/source/lux/control/eq.lux | 9 ++- stdlib/source/lux/control/hash.lux | 2 +- stdlib/source/lux/control/interval.lux | 2 +- stdlib/source/lux/control/order.lux | 2 +- stdlib/source/lux/data/bool.lux | 2 +- stdlib/source/lux/data/coll/array.lux | 2 +- stdlib/source/lux/data/coll/dict.lux | 2 +- stdlib/source/lux/data/coll/list.lux | 2 +- stdlib/source/lux/data/coll/priority-queue.lux | 2 +- stdlib/source/lux/data/coll/queue.lux | 2 +- stdlib/source/lux/data/coll/seq.lux | 2 +- stdlib/source/lux/data/coll/set.lux | 2 +- stdlib/source/lux/data/coll/vector.lux | 2 +- stdlib/source/lux/data/format/json.lux | 104 +++++++++++++------------ stdlib/source/lux/data/format/xml.lux | 2 +- stdlib/source/lux/data/ident.lux | 2 +- stdlib/source/lux/data/maybe.lux | 2 +- stdlib/source/lux/data/number.lux | 2 +- stdlib/source/lux/data/number/complex.lux | 2 +- stdlib/source/lux/data/number/ratio.lux | 2 +- stdlib/source/lux/data/text.lux | 2 +- stdlib/source/lux/macro/code.lux | 2 +- stdlib/source/lux/macro/poly.lux | 81 ++++++++++--------- stdlib/source/lux/macro/poly/eq.lux | 27 ++++++- stdlib/source/lux/macro/syntax.lux | 2 +- stdlib/source/lux/type.lux | 2 +- 29 files changed, 160 insertions(+), 113 deletions(-) (limited to 'stdlib/source') diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 76db92f2f..30f38897b 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -3721,9 +3721,9 @@ (if (empty? args) (let [g!param (symbol$ ["" ""]) prime-name (symbol$ ["" name]) - type+ (replace-syntax (list [name (` ((~ prime-name) (~ g!param)))]) type)] + type+ (replace-syntax (list [name (` ((~ prime-name) #;Void))]) type)] (#Some (` ((All (~ prime-name) [(~ g!param)] (~ type+)) - Void)))) + #;Void)))) #None) (case args #Nil diff --git a/stdlib/source/lux/concurrency/frp.lux b/stdlib/source/lux/concurrency/frp.lux index a646f2b6e..54e7c957b 100644 --- a/stdlib/source/lux/concurrency/frp.lux +++ b/stdlib/source/lux/concurrency/frp.lux @@ -3,7 +3,7 @@ (lux (control functor applicative monad - eq + [eq #+ Eq] ["p" parser]) [io #- run] (data (coll [list "L/" Monoid]) diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux index 63ef0526b..535201954 100644 --- a/stdlib/source/lux/control/codec.lux +++ b/stdlib/source/lux/control/codec.lux @@ -12,7 +12,7 @@ decode)) ## [Values] -(struct: #export (compC Codec Codec) +(struct: #export (compose Codec Codec) {#;doc "Codec composition."} (All [a b c] (-> (Codec c b) (Codec b a) (Codec c a))) (def: encode (|>. (:: Codec encode) (:: Codec encode))) diff --git a/stdlib/source/lux/control/eq.lux b/stdlib/source/lux/control/eq.lux index 7a2fb3d3a..b69292daa 100644 --- a/stdlib/source/lux/control/eq.lux +++ b/stdlib/source/lux/control/eq.lux @@ -5,13 +5,13 @@ (: (-> a a Bool) =)) -(def: #export (conj left right) +(def: #export (seq left right) (All [l r] (-> (Eq l) (Eq r) (Eq [l r]))) (struct (def: (= [a b] [x y]) (and (:: left = a x) (:: right = b y))))) -(def: #export (disj left right) +(def: #export (alt left right) (All [l r] (-> (Eq l) (Eq r) (Eq (| l r)))) (struct (def: (= a|b x|y) (case [a|b x|y] @@ -23,3 +23,8 @@ _ false)))) + +(def: #export (rec sub) + (All [a] (-> (-> (Eq a) (Eq a)) (Eq a))) + (struct (def: (= left right) + (sub (rec sub) left right)))) diff --git a/stdlib/source/lux/control/hash.lux b/stdlib/source/lux/control/hash.lux index da24575a4..3472098c1 100644 --- a/stdlib/source/lux/control/hash.lux +++ b/stdlib/source/lux/control/hash.lux @@ -1,6 +1,6 @@ (;module: lux - (.. eq)) + (.. [eq #+ Eq])) ## [Signatures] (sig: #export (Hash a) diff --git a/stdlib/source/lux/control/interval.lux b/stdlib/source/lux/control/interval.lux index 673ad630f..95a23c378 100644 --- a/stdlib/source/lux/control/interval.lux +++ b/stdlib/source/lux/control/interval.lux @@ -1,6 +1,6 @@ (;module: lux - (lux (control eq + (lux (control [eq #+ Eq] [order] [enum #+ Enum]))) diff --git a/stdlib/source/lux/control/order.lux b/stdlib/source/lux/control/order.lux index eb2a6f81b..89708d986 100644 --- a/stdlib/source/lux/control/order.lux +++ b/stdlib/source/lux/control/order.lux @@ -1,7 +1,7 @@ (;module: lux (lux function) - (.. eq)) + (.. [eq #+ Eq])) ## [Signatures] (sig: #export (Order a) diff --git a/stdlib/source/lux/data/bool.lux b/stdlib/source/lux/data/bool.lux index 35c00477f..e292c0ede 100644 --- a/stdlib/source/lux/data/bool.lux +++ b/stdlib/source/lux/data/bool.lux @@ -1,7 +1,7 @@ (;module: lux (lux (control monoid - eq + [eq #+ Eq] hash codec))) diff --git a/stdlib/source/lux/data/coll/array.lux b/stdlib/source/lux/data/coll/array.lux index a8f8d9f00..4ab94fae8 100644 --- a/stdlib/source/lux/data/coll/array.lux +++ b/stdlib/source/lux/data/coll/array.lux @@ -4,7 +4,7 @@ functor applicative monad - eq + [eq #+ Eq] fold) (data (coll [list "List/" Fold]) [product]) diff --git a/stdlib/source/lux/data/coll/dict.lux b/stdlib/source/lux/data/coll/dict.lux index 4ebb9a746..e54aaf5cc 100644 --- a/stdlib/source/lux/data/coll/dict.lux +++ b/stdlib/source/lux/data/coll/dict.lux @@ -1,7 +1,7 @@ (;module: lux (lux (control hash - eq) + [eq #+ Eq]) (data maybe (coll [list "List/" Fold Functor Monoid] [array #+ Array "Array/" Functor Fold]) diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux index 5d21585a4..41f1cddaf 100644 --- a/stdlib/source/lux/data/coll/list.lux +++ b/stdlib/source/lux/data/coll/list.lux @@ -4,7 +4,7 @@ functor applicative ["M" monad #*] - eq + [eq #+ Eq] [fold]) (data [number "Nat/" Codec] bool diff --git a/stdlib/source/lux/data/coll/priority-queue.lux b/stdlib/source/lux/data/coll/priority-queue.lux index f02b4de57..00c655d8e 100644 --- a/stdlib/source/lux/data/coll/priority-queue.lux +++ b/stdlib/source/lux/data/coll/priority-queue.lux @@ -1,6 +1,6 @@ (;module: lux - (lux (control eq + (lux (control [eq #+ Eq] monad) (data (coll (tree ["F" finger])) [number] diff --git a/stdlib/source/lux/data/coll/queue.lux b/stdlib/source/lux/data/coll/queue.lux index 520211dca..c1e7ae6a9 100644 --- a/stdlib/source/lux/data/coll/queue.lux +++ b/stdlib/source/lux/data/coll/queue.lux @@ -1,6 +1,6 @@ (;module: lux - (lux (control eq) + (lux (control [eq #+ Eq]) (data (coll [list "List/" Monoid])))) ## [Types] diff --git a/stdlib/source/lux/data/coll/seq.lux b/stdlib/source/lux/data/coll/seq.lux index 84795f91f..9c981b6aa 100644 --- a/stdlib/source/lux/data/coll/seq.lux +++ b/stdlib/source/lux/data/coll/seq.lux @@ -3,7 +3,7 @@ (lux (control functor applicative monad - eq + [eq #+ Eq] fold ["p" parser]) (data (coll ["L" list "L/" Monoid Fold] diff --git a/stdlib/source/lux/data/coll/set.lux b/stdlib/source/lux/data/coll/set.lux index 8d075a961..06953ef23 100644 --- a/stdlib/source/lux/data/coll/set.lux +++ b/stdlib/source/lux/data/coll/set.lux @@ -3,7 +3,7 @@ (lux (control functor applicative monad - eq + [eq #+ Eq] [hash #*]) (data (coll [dict] [list "List/" Fold Functor])))) diff --git a/stdlib/source/lux/data/coll/vector.lux b/stdlib/source/lux/data/coll/vector.lux index 69a7a9822..5f7a91640 100644 --- a/stdlib/source/lux/data/coll/vector.lux +++ b/stdlib/source/lux/data/coll/vector.lux @@ -3,7 +3,7 @@ (lux (control functor applicative monad - eq + [eq #+ Eq] monoid fold ["p" parser]) diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux index 2e31a3924..865e92b8c 100644 --- a/stdlib/source/lux/data/format/json.lux +++ b/stdlib/source/lux/data/format/json.lux @@ -5,7 +5,7 @@ (lux (control functor applicative monad - eq + [eq #+ Eq] codec ["p" parser "p/" Monad]) (data [bool] @@ -387,11 +387,11 @@ _ (#R;Error (format "JSON value is not " ": " (show-json json)))))] - [unit Unit #Null "unit" id] + [unit Unit #Null "unit" id] [bool Bool #Boolean "bool" id] [int Int #Number "int" real-to-int] - [real Real #Number "real" id] - [text Text #String "text" id] + [real Real #Number "real" id] + [text Text #String "text" id] ) (do-template [ 
]
@@ -524,79 +524,85 @@
      =b pb]
     (wrap [=a =b])))
 
-(def: #export (alt pa pb json)
+(def: #export (alt pa pb)
   {#;doc "Heterogeneous alternative combinator."}
   (All [a b] (-> (Parser a) (Parser b) (Parser (| a b))))
-  (case (pa json)
-    (#R;Success a)
-    (sum;right (sum;left a))
+  (function [json]
+    (case (pa json)
+      (#R;Success a)
+      (sum;right (sum;left a))
 
-    (#R;Error message0)
-    (case (pb json)
-      (#R;Success b)
-      (sum;right (sum;right b))
+      (#R;Error message0)
+      (case (pb json)
+        (#R;Success b)
+        (sum;right (sum;right b))
 
-      (#R;Error message1)
-      (#R;Error message0))))
+        (#R;Error message1)
+        (#R;Error message0)))))
 
-(def: #export (either pl pr json)
+(def: #export (either pl pr)
   {#;doc "Homogeneous alternative combinator."}
   (All [a] (-> (Parser a) (Parser a) (Parser a)))
-  (case (pl json)
-    (#R;Success x)
-    (#R;Success x)
+  (function [json]
+    (case (pl json)
+      (#R;Success x)
+      (#R;Success x)
 
-    _
-    (pr json)))
+      _
+      (pr json))))
 
-(def: #export (opt p json)
+(def: #export (opt p)
   {#;doc "Optionality combinator."}
   (All [a]
     (-> (Parser a) (Parser (Maybe a))))
-  (case (p json)
-    (#R;Error _)  (#R;Success #;None)
-    (#R;Success x) (#R;Success (#;Some x))))
+  (function [json]
+    (case (p json)
+      (#R;Error _)  (#R;Success #;None)
+      (#R;Success x) (#R;Success (#;Some x)))))
 
 (def: #export (run json parser)
   (All [a] (-> JSON (Parser a) (R;Result a)))
   (parser json))
 
-(def: #export (ensure test parser json)
+(def: #export (ensure test parser)
   {#;doc "Only parses a JSON if it passes a test (which is also a parser)."}
   (All [a] (-> (Parser Unit) (Parser a) (Parser a)))
-  (case (test json)
-    (#R;Success _)
-    (parser json)
+  (function [json]
+    (case (test json)
+      (#R;Success _)
+      (parser json)
 
-    (#R;Error error)
-    (#R;Error error)))
+      (#R;Error error)
+      (#R;Error error))))
 
-(def: #export (array-size! size json)
+(def: #export (array-size! size)
   {#;doc "Ensures a JSON array has the specified size."}
   (-> Nat (Parser Unit))
-  (case json
-    (#Array parts)
-    (if (n.= size (vector;size parts))
-      (#R;Success [])
-      (#R;Error (format "JSON array does no have size " (%n size) " " (show-json json))))
+  (function [json]
+    (case json
+      (#Array parts)
+      (if (n.= size (vector;size parts))
+        (#R;Success [])
+        (#R;Error (format "JSON array does no have size " (%n size) " " (show-json json))))
 
-    _
-    (#R;Error (format "JSON value is not an array: " (show-json json)))))
+      _
+      (#R;Error (format "JSON value is not an array: " (show-json json))))))
 
-(def: #export (object-fields! wanted-fields json)
+(def: #export (object-fields! wanted-fields)
   {#;doc "Ensures that every field in the list of wanted-fields is present in a JSON object."}
   (-> (List String) (Parser Unit))
-  (case json
-    (#Object kvs)
-    (let [actual-fields (d;keys kvs)]
-      (if (and (n.= (list;size wanted-fields) (list;size actual-fields))
-               (list;every? (list;member? text;Eq wanted-fields)
-                            actual-fields))
-        (#R;Success [])
-        (#R;Error (format "JSON object has wrong field-set. Expected: [" (text;join-with ", " wanted-fields) "]. Actual: [" (text;join-with ", " actual-fields) "]"))))
+  (function [json]
+    (case json
+      (#Object kvs)
+      (let [actual-fields (d;keys kvs)]
+        (if (and (n.= (list;size wanted-fields) (list;size actual-fields))
+                 (list;every? (list;member? text;Eq wanted-fields)
+                              actual-fields))
+          (#R;Success [])
+          (#R;Error (format "JSON object has wrong field-set. Expected: [" (text;join-with ", " wanted-fields) "]. Actual: [" (text;join-with ", " actual-fields) "]"))))
 
-    _
-    (#R;Error (format "JSON value is not an object: " (show-json json)))))
+      _
+      (#R;Error (format "JSON value is not an object: " (show-json json))))))
 
 ## [Structures]
 (struct: #export _ (Eq JSON)
diff --git a/stdlib/source/lux/data/format/xml.lux b/stdlib/source/lux/data/format/xml.lux
index b95c60ed4..94bb19089 100644
--- a/stdlib/source/lux/data/format/xml.lux
+++ b/stdlib/source/lux/data/format/xml.lux
@@ -1,7 +1,7 @@
 (;module: {#;doc "Functionality for reading, generating and processing values in the XML format."}
   lux
   (lux (control monad
-                eq
+                [eq #+ Eq]
                 codec
                 ["p" parser "p/" Monad])
        (data [text "t/" Eq]
diff --git a/stdlib/source/lux/data/ident.lux b/stdlib/source/lux/data/ident.lux
index 62b678ee4..174712b33 100644
--- a/stdlib/source/lux/data/ident.lux
+++ b/stdlib/source/lux/data/ident.lux
@@ -1,6 +1,6 @@
 (;module:
   lux
-  (lux (control eq
+  (lux (control [eq #+ Eq]
                 codec
                 hash)
        (data [text "Text/" Monoid Eq])))
diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux
index d0c2c8441..e8404544f 100644
--- a/stdlib/source/lux/data/maybe.lux
+++ b/stdlib/source/lux/data/maybe.lux
@@ -4,7 +4,7 @@
                 (functor #as F #refer #all)
                 (applicative #as A #refer #all)
                 (monad #as M #refer #all)
-                eq)))
+                [eq #+ Eq])))
 
 ## [Types]
 ## (type: (Maybe a)
diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux
index 238cc139a..783e9bc55 100644
--- a/stdlib/source/lux/data/number.lux
+++ b/stdlib/source/lux/data/number.lux
@@ -2,7 +2,7 @@
   lux
   (lux (control number
                 monoid
-                eq
+                [eq #+ Eq]
                 hash
                 [order]
                 enum
diff --git a/stdlib/source/lux/data/number/complex.lux b/stdlib/source/lux/data/number/complex.lux
index 852498e28..09d596bc3 100644
--- a/stdlib/source/lux/data/number/complex.lux
+++ b/stdlib/source/lux/data/number/complex.lux
@@ -1,7 +1,7 @@
 (;module: {#;doc "Complex arithmetic."}
   lux
   (lux [math]
-       (control eq
+       (control [eq #+ Eq]
                 number
                 codec
                 monad
diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux
index d9b20cb97..3352fd02d 100644
--- a/stdlib/source/lux/data/number/ratio.lux
+++ b/stdlib/source/lux/data/number/ratio.lux
@@ -1,7 +1,7 @@
 (;module: {#;doc "Rational arithmetic."}
   lux
   (lux [math]
-       (control eq
+       (control [eq #+ Eq]
                 [order]
                 number
                 codec
diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux
index ac1994130..13e57aa21 100644
--- a/stdlib/source/lux/data/text.lux
+++ b/stdlib/source/lux/data/text.lux
@@ -1,7 +1,7 @@
 (;module:
   lux
   (lux (control monoid
-                eq
+                [eq #+ Eq]
                 [order]
                 monad
                 codec
diff --git a/stdlib/source/lux/macro/code.lux b/stdlib/source/lux/macro/code.lux
index efd28d052..2755ae6f5 100644
--- a/stdlib/source/lux/macro/code.lux
+++ b/stdlib/source/lux/macro/code.lux
@@ -1,6 +1,6 @@
 (;module:
   lux
-  (lux (control eq)
+  (lux (control [eq #+ Eq])
        (data bool
              number
              [text #+ Eq "Text/" Monoid]
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index fe49553a5..4ff1b3012 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -12,7 +12,7 @@
              [bool]
              [maybe]
              [ident "Ident/" Eq])
-       [macro #+ Monad with-gensyms]
+       [macro #+ with-gensyms "Lux/" Monad]
        (macro [code]
               ["s" syntax #+ syntax: Syntax]
               (syntax ["cs" common]
@@ -34,7 +34,7 @@
      (;function [:type:]
        (case (type;un-name :type:)
          
-         (:: macro;Monad wrap [])
+         (Lux/wrap [])
 
          _
          (macro;fail (format "Not "  " type: " (%type :type:))))))]
@@ -49,7 +49,7 @@
      (;function [:type:]
        (case (type;un-alias :type:)
          (#;Named ["lux" ] _)
-         (:: macro;Monad wrap [])
+         (Lux/wrap [])
 
          _
          (macro;fail (format "Not "  " type: " (%type :type:))))))]
@@ -67,7 +67,7 @@
   (;function [:type:]
     (with-expansions
       [ (do-template [ ]
-                      [(do Monad
+                      [(do macro;Monad
                          [_ ( :type:)]
                          (wrap ))]
 
@@ -91,7 +91,7 @@
      (;function [:type:]
        (case (type;un-name :type:)
          ( :left: :right:)
-         (:: macro;Monad wrap [:left: :right:])
+         (Lux/wrap [:left: :right:])
 
          _
          (macro;fail (format "Not a " ($Code$ ) " type: " (%type :type:))))))
@@ -101,31 +101,13 @@
      (;function [:type:]
        (let [members ( (type;un-name :type:))]
          (if (n.> +1 (list;size members))
-           (:: macro;Monad wrap members)
+           (Lux/wrap members)
            (macro;fail (format "Not a " ($Code$ ) " type: " (%type :type:)))))))]
 
   [sum    sum+    type;flatten-variant #;Sum]
   [prod   prod+   type;flatten-tuple   #;Product]
   )
 
-(def: #export func
-  (Matcher [Type Type])
-  (;function [:type:]
-    (case (type;un-name :type:)
-      (#;Function :left: :right:)
-      (:: macro;Monad wrap [:left: :right:])
-
-      _
-      (macro;fail (format "Not a Function type: " (%type :type:))))))
-
-(def: #export func+
-  (Matcher [(List Type) Type])
-  (;function [:type:]
-    (let [[ins out] (type;flatten-function (type;un-name :type:))]
-      (if (n.> +0 (list;size ins))
-        (:: macro;Monad wrap [ins out])
-        (macro;fail (format "Not a Function type: " (%type :type:)))))))
-
 (def: #export tagged
   (Matcher [(List Ident) Type])
   (;function [:type:]
@@ -151,7 +133,7 @@
                  :type:'']))
 
         _
-        (:: macro;Monad wrap [(;list) :type:])))))
+        (Lux/wrap [(;list) :type:])))))
 
 (do-template [  ]
   [(def: #export 
@@ -184,12 +166,12 @@
       (wrap [vars members]))))
 
 (def: #export function
-  (Matcher [(List Code) [(List Type) Type]])
+  (Matcher [(List Code) (List Type) Type])
   (;function [:type:]
     (do macro;Monad
       [[vars :type:] (polymorphic :type:)
-       ins+out (func+ :type:)]
-      (wrap [vars ins+out]))))
+       #let [[ins out] (type;flatten-function (type;un-name :type:))]]
+      (wrap [vars ins out]))))
 
 (def: #export apply
   (Matcher [Type (List Type)])
@@ -217,7 +199,7 @@
       (^multi (#;Apply :arg: :quant:)
               [(type;un-alias :quant:) (#;Named actual _)]
               (Ident/= name actual))
-      (:: macro;Monad wrap :arg:)
+      (Lux/wrap :arg:)
 
       _
       (macro;fail (format "Not " (%ident name) " type: " (%type :type:))))))
@@ -229,11 +211,21 @@
       (^multi (#;Apply :arg1: (#;Apply :arg0: :quant:))
               [(type;un-alias :quant:) (#;Named actual _)]
               (Ident/= name actual))
-      (:: macro;Monad wrap [:arg0: :arg1:])
+      (Lux/wrap [:arg0: :arg1:])
 
       _
       (macro;fail (format "Not " (%ident name) " type: " (%type :type:))))))
 
+(def: #export recursive
+  (Matcher Type)
+  (;function [:type:]
+    (case (type;un-name :type:)
+      (#;Apply #;Void (#;UnivQ _ :type:'))
+      (Lux/wrap :type:')
+
+      _
+      (macro;fail (format "Not a recursive type: " (%type :type:))))))
+
 (def: (adjusted-idx env idx)
   (-> Env Nat Nat)
   (let [env-level (n./ +2 (dict;size env))
@@ -248,7 +240,7 @@
       (#;Bound idx)
       (case (dict;get (adjusted-idx env idx) env)
         (#;Some [poly-type poly-ast])
-        (:: macro;Monad wrap poly-ast)
+        (Lux/wrap poly-ast)
 
         #;None
         (macro;fail (format "Unknown bound type: " (%type :type:))))
@@ -256,10 +248,10 @@
       _
       (macro;fail (format "Not a bound type: " (%type :type:))))))
 
-(def: #export (recur env)
+(def: #export (recursion env)
   (-> Env (Matcher Code))
   (;function [:type:]
-    (do Monad
+    (do macro;Monad
       [[t-func t-args] (apply :type:)]
       (case t-func
         (^multi (#;Bound t-func-idx)
@@ -282,13 +274,26 @@
         (macro;fail (format "Type is not a recursive instance: " (%type :type:))))
       )))
 
+(def: #export (self env)
+  (-> Env (Matcher Code))
+  (;function [:type:]
+    (case :type:
+      (^multi (#;Apply #;Void (#;Bound t-func-idx))
+              (n.= +0 (adjusted-idx env t-func-idx))
+              [(dict;get +0 env)
+               (#;Some [self-type self-call])])
+      (Lux/wrap self-call)
+
+      _
+      (macro;fail (format "Type is not a recursive self-call: " (%type :type:))))))
+
 (def: #export (var env var-id)
   (-> Env Nat (Matcher Unit))
   (;function [:type:]
     (case :type:
       (^multi (#;Bound idx)
               (n.= var-id (adjusted-idx env idx)))
-      (:: macro;Monad wrap [])
+      (Lux/wrap [])
 
       _
       (macro;fail (format "Not a bound type: " (%type :type:))))))
@@ -321,7 +326,7 @@
           g!env (code;symbol ["" env])]
       (wrap (;list (` (syntax: (~@ (csw;export _ex-lev)) ((~ g!name) (~@ (List/map (;function [g!input] (` [(~ g!input) s;symbol]))
                                                                                    g!inputs)))
-                        (do Monad
+                        (do macro;Monad
                           [(~@ (List/join (List/map (;function [g!input] (;list g!input (` (macro;find-type-def (~ g!input)))))
                                                     g!inputs)))
                            (~' #let) [(~ g!env) (: Env (dict;new number;Hash))]
@@ -395,6 +400,12 @@
         (|> (dict;get idx env) (default (undefined)) product;left (to-ast env))
         (` (;$ (~ (code;nat (n.dec idx)))))))
 
+    (#;Apply #;Void (#;Bound idx))
+    (let [idx (adjusted-idx env idx)]
+      (if (n.= +0 idx)
+        (|> (dict;get idx env) (default (undefined)) product;left (to-ast env))
+        (undefined)))
+    
     (^template []
       ( left right)
       (` ( (~ (to-ast env left))
diff --git a/stdlib/source/lux/macro/poly/eq.lux b/stdlib/source/lux/macro/poly/eq.lux
index 31359a6c3..c9a58a6f5 100644
--- a/stdlib/source/lux/macro/poly/eq.lux
+++ b/stdlib/source/lux/macro/poly/eq.lux
@@ -80,6 +80,22 @@
             (wrap (` (: (~ (->Eq (type;to-ast :x:)))
                         (dict;Eq (~ g!val))))))
           ## Variants
+          (with-gensyms [g!type-fun g!left g!right]
+            (do @
+              [members (poly;sum+ :x:)
+               pattern-matching (mapM @
+                                      (function [[tag :case:]]
+                                        (do @
+                                          [g!eq (Eq env :case:)]
+                                          (wrap (list (` [((~ (code;nat tag)) (~ g!left))
+                                                          ((~ (code;nat tag)) (~ g!right))])
+                                                      (` ((~ g!eq) (~ g!left) (~ g!right)))))))
+                                      (list;enumerate members))
+               #let [base (` (function [(~ g!left) (~ g!right)]
+                               (case [(~ g!left) (~ g!right)]
+                                 (~@ (List/join pattern-matching)))))]]
+              (wrap (` (: (~ (poly;gen-type env ->Eq g!type-fun (list) :x:))
+                          (~ base))))))
           (with-gensyms [g!type-fun g!left g!right]
             (do @
               [[g!vars members] (poly;variant :x:)
@@ -125,7 +141,16 @@
               (wrap (` (: (~ (poly;gen-type new-env ->Eq g!type-fun g!vars :x:))
                           (~ base))))))
           ## Type recursion
-          (poly;recur env :x:)
+          (with-gensyms [g!rec]
+            (do @
+              [:non-rec: (poly;recursive :x:)
+               #let [new-env (poly;extend-env [:x: g!rec] (list [:x: (` (;undefined))]) env)]
+               .non-rec. (Eq new-env :non-rec:)]
+              (wrap (` (: (~ (poly;gen-type new-env ->Eq g!rec (list) :x:))
+                          (eq;rec (;function [(~ g!rec)]
+                                    (~ .non-rec.))))))))
+          (poly;self env :x:)
+          (poly;recursion env :x:)
           ## Type applications
           (do @
             [[:func: :args:] (poly;apply :x:)
diff --git a/stdlib/source/lux/macro/syntax.lux b/stdlib/source/lux/macro/syntax.lux
index a1b84cdec..4838e16b1 100644
--- a/stdlib/source/lux/macro/syntax.lux
+++ b/stdlib/source/lux/macro/syntax.lux
@@ -4,7 +4,7 @@
        (control functor
                 applicative
                 monad
-                eq
+                [eq #+ Eq]
                 ["p" parser])
        (data [bool]
              [number]
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux
index 48f6c3bd7..618416c33 100644
--- a/stdlib/source/lux/type.lux
+++ b/stdlib/source/lux/type.lux
@@ -1,6 +1,6 @@
 (;module: {#;doc "Basic functionality for working with types."}
   [lux #- function]
-  (lux (control eq
+  (lux (control [eq #+ Eq]
                 monad)
        (data [text "Text/" Monoid Eq]
              [ident "Ident/" Eq]
-- 
cgit v1.2.3