testsuite/tests/typecheck/should_compile/tc099.hs


1
2
3
4
5
6
7
8

-- !! check if tc type substitutions really do
-- !! clone (or if not, work around it by cloning
-- !! all binders in first pass of the simplifier).
module ShouldCompile where

f,g :: Eq a => (a,b)
f = g
g = f