Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc212.hs
1
2 -- This one crashed the 6.6 release candidate
3
4 module ShouldCompile where
5
6 -- A specialise pragma with no type signature
7 fac n = fac (n + 1)
8 {-# SPECIALISE fac :: Int -> Int #-}