Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / Tc267b.hs-boot
1 module Tc267b where
2 import {-# SOURCE #-} Tc267a
3 y :: S