aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/ImplicitParams.hs
diff options
context:
space:
mode:
authorNiklas Haas <git@nand.wakku.to>2014-02-23 15:21:52 +0100
committerNiklas Haas <git@nand.wakku.to>2014-02-23 15:21:52 +0100
commit14531f7838c5abd0ba2aaf5217a477194d7b1897 (patch)
tree193113d2e0c81bb918b5436f34618b5f4d5c2f77 /html-test/src/ImplicitParams.hs
parent1944b94edca881d14e979d564719da6f196f8e63 (diff)
Make ImplicitParams render correctly (#260)
This introduces a new precedence level for single contexts (because implicit param contexts always need parens around them, but other types of contexts don't necessarily, even when alone)
Diffstat (limited to 'html-test/src/ImplicitParams.hs')
-rw-r--r--html-test/src/ImplicitParams.hs10
1 files changed, 10 insertions, 0 deletions
diff --git a/html-test/src/ImplicitParams.hs b/html-test/src/ImplicitParams.hs
new file mode 100644
index 00000000..4595b8f7
--- /dev/null
+++ b/html-test/src/ImplicitParams.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE ImplicitParams #-}
+module ImplicitParams where
+
+data X
+
+c :: (?x :: X) => X
+c = ?x
+
+d :: (?x :: X, ?y :: X) => (X, X)
+d = (?x, ?y)