bug in test case
authorRichard Eisenberg <eir@cis.upenn.edu>
Fri, 10 Jul 2015 16:47:48 +0000 (12:47 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Fri, 10 Jul 2015 16:47:48 +0000 (12:47 -0400)
testsuite/tests/parser/should_compile/VtaParse.hs

index b65ea53..b1cfd7d 100644 (file)
@@ -30,10 +30,6 @@ n = MkN show
 foo :: Bool -> String
 foo = unMkN n @Bool   -- Fails without parens! Not anymore!
 
-boo = unMkN @Bool n
--- boo :: Bool -> String --(compiler doesn't infer this type! It infers a -> String!)
--- boo = unMkN (n @Bool)
-
 (&&) :: Bool -> Bool -> Bool
 (b@True) && True = True
 _ && _ = False