aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorEduardo Julian2018-01-04 23:59:40 -0400
committerEduardo Julian2018-01-04 23:59:40 -0400
commit303c462daf461c20f41edba3d0921062c8535fda (patch)
treeeb7d4edb5dfbd5af8789a128a4e3deb7eec985b6 /stdlib
parent5c18722100637a61a6e52b4471a2068f37a3dcff (diff)
- Fixed inference involving existentials.
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux/math/constructive.lux7
1 files changed, 4 insertions, 3 deletions
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))))