blob: c54c67eb936dc8c96995b0dabaea103b80cd81a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
module T14885b where
class Foo1 a where
foo1 :: forall b. a -> b -> b
default foo1 :: forall b. a -> b -> b
foo1 _ x = (x :: b)
$([d| class Foo2 a where
foo2 :: forall b. a -> b -> b
default foo2 :: forall b. a -> b -> b
foo2 _ x = (x :: b)
|])
|
