Commit 1fab45ea authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7268

parent 15013c03
{-# LANGUAGE MonoLocalBinds, NoMonomorphismRestriction, RankNTypes #-}
module T7268 where
data X = X { a :: forall a . a -> Bool }
ida :: forall b. b -> Bool
X { a = ida } = error "urk"
bar :: c -> Bool
bar = ida
......@@ -400,3 +400,4 @@ test('T7562', normal, compile, [''])
test('T7641', normal, compile, [''])
test('T7827', normal, compile, [''])
test('T7875', normal, compile, [''])
test('T7268', 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