diff options
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 |