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/PromotedTypes.html | 107 +++++++++++++++++++++------------------ 1 file changed, 59 insertions(+), 48 deletions(-) (limited to 'html-test/ref/PromotedTypes.html') diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index db42f637..7567d2f5 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -1,32 +1,33 @@ - PromotedTypes

 

data RevList a

RNil 
((RevList a) a) :> a 

data Pattern :: [*] -> * :: [*] -> * where

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

data RevPattern :: :: RevList * -> * * -> * where

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

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

Tuple :: a -> b -> :: a -> b -> Tuple '(a, b) 
+> \ No newline at end of file -- cgit v1.2.3