Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc165.hs
1 {-# LANGUAGE ConstrainedClassMethods #-}
2 {-# OPTIONS_GHC -dcore-lint #-}
3
4 -- Fails GHC 5.04.2 with -dcore-lint
5 -- The issue ariseswhen you have a method that
6 -- constrains a class variable
7
8 module Test where
9
10 class C a where
11 f :: (Eq a) => a
12
13 instance C () where
14 f = f
15