From 69b98a99ce4de93ea0e6082bd11edb3baaf2fa6e Mon Sep 17 00:00:00 2001
From: Alexander Biehl
Date: Fri, 2 Mar 2018 15:43:21 +0100
Subject: Make testsuite work with haddock-1.19.0 release (#766)
---
html-test/ref/BundledPatterns2.html | 98 ++++++++++++++++++-------------------
1 file changed, 49 insertions(+), 49 deletions(-)
(limited to 'html-test/ref/BundledPatterns2.html')
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index 385fd07f..9e791c65 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -48,11 +48,11 @@
>data Vec :: :: Nat -> -> * -> -> * wherepattern Empty :: (:>) :: a -> Vec 0 a n a -> Vec (n + 1) apattern (:>) :: a -> Vec n a -> Empty :: Vec (n + 1) a 0 adata RTree :: :: Nat -> -> * -> -> * wherepattern LR :: a -> :: a -> RTree 0 apattern BR :: :: RTree d a -> d a -> RTree d a -> d a -> RTree (d (d + 1) adata Vec :: :: Nat -> -> * -> -> * whereLists with their length encoded in their typeVec
tor elements have an subscript starting from 0 and
ending at length
- 1
Bundled Patterns
data RTree :: :: Nat -> -> * -> -> * wherepattern LR :: a -> :: a -> RTree 0 apattern BR :: :: RTree d a -> d a -> RTree d a -> d a -> RTree (d (d + 1) a | |