Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc171.hs
1
2 -- Data types with no constructors
3
4 module ShouldCompile where
5
6 data S
7 data T a
8
9 f :: [T a] -> Int
10 f xs = length xs
11
12