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/GADTRecords.html | 107 +++++++++++++++++------------------------ 1 file changed, 44 insertions(+), 63 deletions(-) (limited to 'html-test/ref/GADTRecords.html') diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index b5b60d0f..8ee4b332 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -1,32 +1,33 @@ - GADTRecords

 

  • data H1 a b where

    data H1 a b where
    C1 :: :: H1 a b 
    C2 :: :: Ord a => [a] -> a => [a] -> H1 a a 
    C3 :: Int -> :: {..} -> H1 Int Int 
    C4 :: a -> :: {..} -> H1 Int a 
    • field2 :: a
      +> \ No newline at end of file -- cgit v1.2.3