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/PatternSyns.html | 115 +++++++++++++++++++++++------------------ 1 file changed, 64 insertions(+), 51 deletions(-) (limited to 'html-test/ref/PatternSyns.html') diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 6fe8fff0..9347dfb8 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -1,32 +1,33 @@ - PatternSyns

 

  • data FooType x = x = FooCtor x
  • pattern Foo :: t -> :: forall t. t -> FooType t
  • pattern Bar :: t -> :: forall t. t -> FooType ( (FooType t)
  • pattern (:<->) :: t -> t -> ( :: forall t t. t -> t -> (FooType t, t, FooType ( (FooType t))
  • data a a >< b = b = Empty
  • pattern E :: :: forall k t t. (><) k t t

    • data FooType x

    FooCtor x 

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

    Pattern synonym for Foo x

    pattern Bar :: t -> :: forall t. t -> FooType ( (FooType t)

    Pattern synonym for Bar x

    pattern (:<->) :: t -> t -> ( :: forall t t. t -> t -> (FooType t, t, FooType ( (FooType t))

    Pattern synonym for (:<->)

    data a a >< b

    Doc for (><)

    Empty 

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

    Pattern for Empty

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