Another test
commitc9932ea04d4e6d5d5e7ad8bd588d9e92eaa7d5b3
authorPhil Freeman <paf31@cantab.net>
dateWed 11 Feb 2015, 10:14 (12 years ago)
parent5d2bf0b
examples/passing/UnknownInInstance.pursnew file+8
@@ -0,0 +1,8 @@
1+module Main where
2+
3+data Proxy a = Proxy
4+
5+test :: forall a. (Show (Proxy a)) => String
6+test = show Proxy
7+
8+main = Debug.Trace.trace "Done"