From 4650731a06f771b3d327b6f8999fa77dbf9a3c88 Mon Sep 17 00:00:00 2001 From: Alex Biehl Date: Thu, 7 Jan 2021 23:44:11 +0100 Subject: Accept tests --- html-test/ref/Bug574.html | 2 +- html-test/ref/Bug679.html | 2 +- html-test/ref/Bug8.html | 2 +- html-test/ref/BundledPatterns.html | 12 ++++++------ html-test/ref/BundledPatterns2.html | 12 ++++++------ html-test/ref/QuasiExpr.html | 2 +- html-test/ref/QuasiQuote.html | 2 +- html-test/ref/TH.html | 2 +- html-test/ref/TH2.html | 2 +- html-test/ref/Threaded.html | 2 +- html-test/ref/Ticket112.html | 2 +- 11 files changed, 21 insertions(+), 21 deletions(-) (limited to 'html-test') diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html index f087302c..9c5777d9 100644 --- a/html-test/ref/Bug574.html +++ b/html-test/ref/Bug574.html @@ -36,7 +36,7 @@ >Safe HaskellNoneSafe-Inferred

Safe HaskellNoneSafe-Inferred

(-->) :: p1 -> p2 -> :: p -> p -> Typ infix 9Safe HaskellNoneSafe-Inferred

data Vec :: :: Nat -> * -> * wheredata RTree :: :: Nat -> * -> * wheredata Vec :: :: Nat -> * -> * where subscript starting from 0 and ending at length - 1data RTree :: :: Nat -> * -> * whereSafe HaskellNoneSafe-Inferred

data Vec :: :: Nat -> * -> * wheredata RTree :: :: Nat -> * -> * wheredata Vec :: :: Nat -> * -> * where subscript starting from 0 and ending at length - 1data RTree :: :: Nat -> * -> * whereSafe HaskellNoneSafe-Inferred

Safe HaskellNoneSafe-Inferred

Safe HaskellNoneSafe-Inferred

Safe HaskellNoneSafe-Inferred

Safe HaskellNoneSafe-Inferred

Safe HaskellNoneSafe-Inferred