path: root/testsuite/tests/deSugar/should_compile/ds037.hs

-- !!! AbsBinds with tyvars, no dictvars, but some dict binds
--
module ShouldCompile where

f x y = (fst (g y x), x+(1::Int))
g x y = (fst (f x y), y+(1::Int))