Commit cdbc73ae authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #12507

This is now working apparently.  It relates to when a
polymorphic function gets instantiated, under some
implicit paramter bindings.
parent 82efad78
{-# LANGUAGE GADTs, ConstraintKinds, Rank2Types, ImplicitParams #-}
module T12507 where
data Rec fields where
Rec :: fields => Rec fields
qn :: Rec fields -> (fields => r) -> r
qn Rec e = e
record :: Rec (?a :: Int, ?b :: String)
record = Rec where ?a=42
access :: Int
access = qn record ?a
......@@ -547,3 +547,4 @@ test('T12466a', normal, compile, [''])
test('T12644', normal, compile, [''])
test('T12427a', normal, compile_fail, [''])
test('T12427b', normal, compile, [''])
test('T12507', 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