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/Bug8.html | 4 +- html-test/ref/Instances.html | 138 ++++++++++++++--------- html-test/ref/Minimal.html | 22 +--- html-test/ref/Operators.html | 66 ++++++++--- html-test/ref/PatternSyns.html | 46 ++++---- html-test/ref/SpuriousSuperclassConstraints.html | 14 ++- html-test/ref/TH2.html | 4 +- html-test/ref/Threaded_TH.html | 4 +- 8 files changed, 183 insertions(+), 115 deletions(-) (limited to 'html-test/ref') diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index d2c03ab3..d6cef1b2 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -89,7 +89,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html"); >

(-->) :: t -> t1 -> :: p1 -> p2 -> Typ infix 9 +> \ No newline at end of file diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index b0eb39cb..ba6ef185 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -273,48 +273,6 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > Foo ((->) a) #

Methods

foo :: (a -> Int) -> a -> a -> a #

foo' :: (a -> a -> a) -> Int -> a -> a -> Int #

Foo

Methods

(Eq

Methods

Foo

Methods

Foo

Methods

Foo

Methods

Foo ((->) LiftedRep LiftedRep a) #

Methods

foo :: (LiftedRep -> LiftedRep) a Int -> a -> (LiftedRep -> LiftedRep) a a #

foo' :: (LiftedRep -> LiftedRep) a ((LiftedRep -> LiftedRep) a a) -> Int -> (LiftedRep -> LiftedRep) a ((LiftedRep -> LiftedRep) a Int) #

bar0, :: (f a, f a) -> (f b, f c) #

bar1 :: (f a, f a) -> (f b, f c) #

+> \ No newline at end of file diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 0374ad8a..ac28b0d9 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -132,26 +132,6 @@ window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html" > #

Minimal complete definition

a, b, c | d | e, (f | g)

Methods

+> \ No newline at end of file diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 8a54ce3f..27b3427d 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -97,7 +97,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html&qu >(:+) :: forall t. t -> t -> [t] a. a -> a -> [a]
  • data(:+) :: forall t. t -> t -> [t] a. a -> a -> [a] infixr 3

    (>><), :: a -> b -> () infixr 4 #

    (<<>) :: a -> b -> () infixl 5 <<>infixr 4 >><infixl 5

    (**>), :: a -> a -> () infixr 8 #

    Multiple fixities

    (**<), :: a -> a -> () infixl 8 #

    Multiple fixities

    (>**), :: a -> a -> () infixr 8 #

    Multiple fixities

    (<**) :: a -> a -> () infixr 8 **>, >**infixl 8 **<, <**infixl 8

    • +> \ No newline at end of file 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 diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index ab796909..285ab05c 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -180,6 +180,18 @@ Fix spurious superclass constraints bug.#

    liftA2 :: (a -> b -> c) -> SomeType f a -> SomeType f b -> SomeType f c #

    (*>) ::

    +> \ No newline at end of file diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index c9bcafef..71bc1083 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -49,7 +49,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TH2.html");} >

    f :: t -> t :: p -> p #

    +> \ No newline at end of file diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index ca794e51..2890ca6b 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -36,7 +36,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Threaded_TH.html& >Safe HaskellNoneSafe

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