blob: a796c0214449596ebb2ba78c96f86350b075c8f4 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE ImplicitParams #-}
module ShouldFail where
class (?imp :: Int) => D t where
methodD :: t -> t
-- Don't repeat implicit parameter constraint on the instance
instance D Int where
methodD x = x + ?imp
|