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

-- !!! ds030: checks that types substituted into binders
--
module ShouldCompile where

f x = case x of [] -> (3::Int) ; _ -> (4::Int)