From 5becc5d52eb60fd69e11d6824f9aa6634a94b38c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 22 Dec 2016 00:34:51 -0400
Subject: - Won't be testing call/cc for now.

---
 stdlib/source/lux/codata/cont.lux | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'stdlib/source')

diff --git a/stdlib/source/lux/codata/cont.lux b/stdlib/source/lux/codata/cont.lux
index ddc15f1f3..a75e5a029 100644
--- a/stdlib/source/lux/codata/cont.lux
+++ b/stdlib/source/lux/codata/cont.lux
@@ -32,7 +32,10 @@
 ## [Functions]
 (def: #export (call/cc f)
   {#;doc "Call with current continuation."}
-  (All [a b c] (Cont (-> a (Cont b c)) (Cont a c)))
+  (All [a b c]
+    (-> (-> (-> a (Cont b c))
+            (Cont a c))
+        (Cont a c)))
   (lambda [k]
     (f (lambda [a _]
          (k a))
-- 
cgit v1.2.3