Merge pull request #14 from jdegoes/externs-fix

garyb · garyb · commit 2af0f484a57d · 2014-10-08T15:34:28.000+01:00
Externs fix
diff --git a/MODULE.md b/MODULE.md
@@ -85,7 +85,8 @@
 
 ### Types
 
-    data Cofree f a
+    data Cofree f a where
+      Cofree :: a -> Trampoline (f (Cofree f a)) -> Cofree f a
 
 
 ### Type Class Instances
diff --git a/src/Control/Comonad/Cofree.purs b/src/Control/Comonad/Cofree.purs
@@ -1,5 +1,5 @@
 module Control.Comonad.Cofree
-  ( Cofree()
+  ( Cofree(..) -- FIXME: Purescript error (can't infer kinds in externs unless constructor exported)
   , mkCofree
   , head
   , tail
