blob: 367789a4c740e2e64f35210a7e6321060f944fab (
plain)
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
|