From 66c91a3c20d18f2a2f9ccfbbc7a04bddd5507008 Mon Sep 17 00:00:00 2001 From: Łukasz Hanuszczak Date: Thu, 6 Aug 2015 21:22:06 +0200 Subject: Rename advanced types test case and accept new output. --- html-test/ref/AdvanceTypes.html | 97 ------------------- html-test/ref/PromotedTypes.html | 201 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 201 insertions(+), 97 deletions(-) delete mode 100644 html-test/ref/AdvanceTypes.html create mode 100644 html-test/ref/PromotedTypes.html (limited to 'html-test/ref') diff --git a/html-test/ref/AdvanceTypes.html b/html-test/ref/AdvanceTypes.html deleted file mode 100644 index f608efea..00000000 --- a/html-test/ref/AdvanceTypes.html +++ /dev/null @@ -1,97 +0,0 @@ - -AdvanceTypes

 

Safe HaskellSafe

AdvanceTypes

Documentation

data Pattern :: [*] -> * where

Constructors

Nil :: Pattern [] 
Cons :: Maybe h -> Pattern t -> Pattern (h : t) 
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html new file mode 100644 index 00000000..db42f637 --- /dev/null +++ b/html-test/ref/PromotedTypes.html @@ -0,0 +1,201 @@ + +PromotedTypes

 

Safe HaskellSafe

PromotedTypes

Documentation

data RevList a

Constructors

RNil 
(RevList a) :> a 

data Pattern :: [*] -> * where

Constructors

Nil :: Pattern '[] 
Cons :: Maybe h -> Pattern t -> Pattern (h ': t) 

data RevPattern :: RevList * -> * where

Constructors

RevNil :: RevPattern RNil 
RevCons :: Maybe h -> RevPattern t -> RevPattern (t :> h) 

data Tuple :: (*, *) -> * where

Constructors

Tuple :: a -> b -> Tuple '(a, b) 
-- cgit v1.2.3