blob: bd3f55df5429a942d5cba3a0da1382bbf422f84c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE ExtendedDefaultRules #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
module T12923 where
-- Test that ExtendedDefaultRules defaults multiparameter typeclasses with only
-- one parameter of kind Type.
class Works a (b :: Bool) where
works :: a -> A b
data A (b :: Bool) = A deriving Show
instance Works Integer 'True where works _ = A
main :: IO ()
main = print (works 5 :: A 'True)
|
