Add test case
commit79e7a092778d89481cb2a1f27b3212be2420be05
authorPhil Freeman <paf31@cantab.net>
dateSat 7 Nov 2015, 14:58 (11 years ago)
parent0d7c8f0
examples/passing/1335.pursnew file+12
@@ -0,0 +1,12 @@
1+module Main where
2+
3+import Prelude
4+import Control.Monad.Eff.Console (log)
5+
6+x :: forall a. a -> String
7+x a = y "Done"
8+ where
9+ y :: forall a. (Show a) => a -> String
10+ y a = show (a :: a)
11+
12+main = log (x 0)