Add tests for new type & class ref syntax

garyb · garyb · commit 0c86e7fc03c6 · 2015-11-30T18:47:33.000Z
diff --git a/examples/passing/ClassRefSyntax.purs b/examples/passing/ClassRefSyntax.purs
@@ -0,0 +1,13 @@
+module Lib (class X, go) where
+
+  class X a where
+    go :: a -> a
+
+module Main where
+
+  import Lib (class X, go)
+
+  go' :: forall a. (X a) => a -> a
+  go' = go
+
+  main = Control.Monad.Eff.Console.log "Done"
diff --git a/examples/passing/TypeWithoutParens.purs b/examples/passing/TypeWithoutParens.purs
@@ -0,0 +1,16 @@
+module Lib (X, Y) where
+
+  data X = X
+  type Y = X
+
+module Main where
+
+  import Lib (X, Y)
+
+  idX :: X -> X
+  idX x = x
+
+  idY :: Y -> Y
+  idY y = y
+
+  main = Control.Monad.Eff.Console.log "Done"
