Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T1897a.hs
1 {-# LANGUAGE MultiParamTypeClasses #-}
2
3 module Foo where
4
5 class Wob a b where
6 to :: a -> b
7 from :: b -> a
8
9 foo x = [x, to (from x)]
10 -- Ambiguous type: Wob a b => b -> [b]
11 -- Should be rejected