Commit 7a10aeb6 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Add a test for #3743

parent c46faf31
{-# 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
......@@ -358,3 +358,4 @@ test('T3018', normal, compile, [''])
test('T5032', normal, compile, [''])
test('T2357', normal, compile, [''])
test('T5481', normal, compile, [''])
test('T3743', normal, compile, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment