From 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 8 Feb 2016 14:32:41 +0100 Subject: html-test: Accept test output --- html-test/ref/ImplicitParams.html | 51 ++++++++++++++++++--------------------- 1 file changed, 24 insertions(+), 27 deletions(-) (limited to 'html-test/ref/ImplicitParams.html') diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index c81f484b..68656338 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -1,32 +1,33 @@ - ImplicitParams

 

data X

X 

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

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

f :: ((?x :: :: ((?x :: X) => a) -> a

+> \ No newline at end of file -- cgit v1.2.3