blob: 0eacf2e85424d89bdfd2118eadd7923a0cb66917 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE RankNTypes, MultiParamTypeClasses, FunctionalDependencies #-}
-- This one caught a bug in the implementation of functional
-- dependencies, where improvement must happen when
-- checking the call in 'test4'
module ShouldCompile where
newtype M s a = M a
class Modular s a | s -> a
wim :: forall a w. Integral a
=> a -> (forall s. Modular s a => M s w) -> w
wim i k = error "urk"
test4' :: (Modular s a, Integral a) => M s a
test4' = error "urk"
test4 = wim 4 test4'
|
