From 6ca276702d04c9183caa98d1848f6aa5b88a8755 Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Sun, 23 Feb 2014 16:11:22 +0100 Subject: Add RankNTypes test case to ImplicitParams.hs This test actually tests what #260 originally reported - I omitted the RankNTypes scenario from the original fix because I realized it's not relevant to the underlying issue and indeed, this renders as intended now. Still good to have more tests. --- html-test/src/ImplicitParams.hs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'html-test/src') diff --git a/html-test/src/ImplicitParams.hs b/html-test/src/ImplicitParams.hs index 4595b8f7..3ca9157b 100644 --- a/html-test/src/ImplicitParams.hs +++ b/html-test/src/ImplicitParams.hs @@ -1,10 +1,13 @@ -{-# LANGUAGE ImplicitParams #-} +{-# LANGUAGE ImplicitParams, RankNTypes #-} module ImplicitParams where -data X +data X = X c :: (?x :: X) => X c = ?x d :: (?x :: X, ?y :: X) => (X, X) d = (?x, ?y) + +f :: ((?x :: X) => a) -> a +f a = let ?x = X in a -- cgit v1.2.3