Failing example for #2601 (#2607)
commit090f185ecec35901992381991b0266668ad0da26
authorPhil Freeman <paf31@cantab.net>
dateSun 29 Jan 2017, 09:43 (10 years ago)
parent817c4fa
examples/failing/2601.pursnew file+7
@@ -0,0 +1,7 @@
1+-- @shouldFailWith KindsDoNotUnify
2+module Main where
3+
4+type Syn (a :: * -> *) = String
5+
6+val :: Syn Int
7+val = "bad"