ghc/tests/typecheck/should_compile/tc099.hs

   1 -- !! check if tc type substitutions really do
   2 -- !! clone (or if not, work around it by cloning
   3 -- !! all binders in first pass of the simplifier).
   4 module ShouldCompile where
   5
   6 f,g :: Eq a => (a,b)
   7 f = g
   8 g = f