From 8410dd341a1730f708af3f0d96d13f2b5f7b9df5 Mon Sep 17 00:00:00 2001 From: Phil Ruffwind Date: Wed, 30 Sep 2015 03:22:14 -0400 Subject: Update tests for previous commit --- html-test/ref/PatternSyns.html | 40 ++++++++++++++++++++++++++-------------- 1 file changed, 26 insertions(+), 14 deletions(-) (limited to 'html-test/ref/PatternSyns.html') diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 9347dfb8..ffebdf27 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -125,9 +125,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html& >

data FooType x

x #

FooType doc

FooCtor x

pattern Foo :: forall t. t -> FooType t

t #

Pattern synonym for

pattern Bar :: forallFooType (FooType t)

t) #

Pattern synonym for

pattern (:<->) :: forallFooType (FooType t))

t)) #

Pattern synonym for (

data a a >< b

b #

Doc for (
Empty

pattern E :: forall k t t. (><) k t t

k t t #

Pattern for