testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T7312.hs
1 module T7312 where
2
3 -- this works
4 mac :: Double -> (Double->Double) -> (Double-> Double)
5 mac ac m = \ x -> ac + x * m x
6
7 -- this doesn't
8 mac2 :: Double -> (->) Double Double -> (->) Double Double
9 mac2 ac m = \ x -> ac + x * m x