Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / T12644.hs
1 {-# LANGUAGE ImpredicativeTypes #-}
2
3 module T12644 where
4
5 data T a = T1 Int
6
7 instance Show (T a) where
8 show (T1 x) = show x
9
10 t1 :: T a
11 t1 = T1 1
12
13 f :: String
14 f = show t1