From 14531f7838c5abd0ba2aaf5217a477194d7b1897 Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Sun, 23 Feb 2014 15:21:52 +0100 Subject: 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) --- html-test/src/ImplicitParams.hs | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 html-test/src/ImplicitParams.hs (limited to 'html-test/src/ImplicitParams.hs') 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) -- cgit v1.2.3