From 303c462daf461c20f41edba3d0921062c8535fda Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 4 Jan 2018 23:59:40 -0400
Subject: - Fixed inference involving existentials.

---
 stdlib/source/lux/math/constructive.lux | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'stdlib')

diff --git a/stdlib/source/lux/math/constructive.lux b/stdlib/source/lux/math/constructive.lux
index 3f12d1a88..5ecd8d0e2 100644
--- a/stdlib/source/lux/math/constructive.lux
+++ b/stdlib/source/lux/math/constructive.lux
@@ -7,6 +7,7 @@
              ["e" error]
              text/format
              (coll [list "list/" Functor<List>]))
+       (lang [type])
        (type abstract)
        [macro]
        (macro [code]
@@ -39,9 +40,9 @@
                 poly.apply
                 (p.after (poly.this Witness))
                 (p.after poly.any)
-                poly.existential)
-      (#e.Success witness-id)
-      (wrap (.list (.` (#.Ex (~ (code.nat witness-id))))))
+                poly.any)
+      (#e.Success identityT)
+      (wrap (.list (type.to-code identityT)))
       
       (#e.Error error)
       (macro.fail error))))
-- 
cgit v1.2.3