diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-02-23 16:11:22 +0100 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-02-23 16:11:22 +0100 |
| commit | 6ca276702d04c9183caa98d1848f6aa5b88a8755 (patch) | |
| tree | 0500d00158d5a6ba372c2b83eaca35ef3154d34c /html-test/src | |
| parent | 64850ca4f7dc2ca0fdb21d078d93cd636de5c87a (diff) | |
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.
Diffstat (limited to 'html-test/src')
| -rw-r--r-- | html-test/src/ImplicitParams.hs | 7 |
1 files changed, 5 insertions, 2 deletions
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 |