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/ref/ImplicitParams.html | 89 +++++++++++++++++++++++++++++++++++++++ html-test/src/ImplicitParams.hs | 10 +++++ 2 files changed, 99 insertions(+) create mode 100644 html-test/ref/ImplicitParams.html create mode 100644 html-test/src/ImplicitParams.hs (limited to 'html-test') diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html new file mode 100644 index 00000000..0219b323 --- /dev/null +++ b/html-test/ref/ImplicitParams.html @@ -0,0 +1,89 @@ + +ImplicitParams

 

Safe HaskellSafe-Inferred

ImplicitParams

Documentation

data X

c :: (?x :: X) => X

d :: (?x :: X, ?y :: X) => (X, X)

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