blob: 994348ba42b9880a628a652c6cb7a9f5ccba1821 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE FlexibleContexts #-}
module TcRun038_B where
class Foo a where
op :: a -> Int
-- Note the (Foo Int) constraint here; and the fact
-- that there is no (Foo Int) instance in this module
-- It's in the importing module!
bar :: Foo Int => Int -> Int
bar x = op x + 7
|