testsuite/tests/typecheck/should_compile/T3743.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE ImplicitParams, GADTs #-}

module T3743 where

class Foo a

data M where M :: Foo a => a -> M

x :: (?x :: ()) => ()
x = undefined

-- foo :: (?x :: ()) => M -> ()
foo y = case y of
    M _ -> x