From e41e21e6caccfe18c5a291c8c0f8be143552cc27 Mon Sep 17 00:00:00 2001 From: Herbert Valerio Riedel Date: Tue, 25 Apr 2017 15:21:45 +0200 Subject: `html-test --accept` deltas to reference samples --- html-test/ref/PatternSyns.html | 46 +++++++++++++++++++++++------------------- 1 file changed, 25 insertions(+), 21 deletions(-) (limited to 'html-test/ref/PatternSyns.html') diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 242803c2..2052d87c 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -69,9 +69,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html& >Foo :: forall t. t -> x. x -> FooType t x
  • patternBar :: forall t. t -> x. x -> FooType (FooType t)
    • x)
  • pattern(:<->) :: forall t t1. t -> t1 -> ( x x1. x -> x1 -> (FooType t, x, FooType (FooType t1))
    • x1))
  • data a (a :: *) >< b = EmptyE :: forall k t t1. k a (b :: k). (><) k t t1
    • k a b
    Foo :: forall t. t -> x. x -> FooType t x #

    Bar :: forall t. t -> x. x -> FooType (FooType t) x) #

    (:<->) :: forall t t1. t -> t1 -> ( x x1. x -> x1 -> (FooType t, x, FooType (FooType t1)) x1)) #

    data a (a :: *) >< b #E :: forall k t t1. k a (b :: k). (><) k t t1 k a b #

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