From 792b82861a8abd03579a281dfdcbbb7081668997 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Fri, 29 May 2020 22:51:26 +0000 Subject: testsuite: Update expected output for simplified subsumption --- html-test/ref/Bug280.html | 6 +++--- html-test/src/FunArgs.hs | 2 +- hypsrc-test/ref/src/Classes.html | 2 +- hypsrc-test/ref/src/Literals.html | 6 +++--- hypsrc-test/ref/src/Operators.html | 12 ++++++------ hypsrc-test/ref/src/Polymorphism.html | 36 +++++++++++++++++------------------ 6 files changed, 32 insertions(+), 32 deletions(-) diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index b6994e7c..04571342 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -65,9 +65,9 @@ >

x :: [Char] :: String #

b -- ^ Second argument -> c -- ^ Third argument -> forall d. d -- ^ Result -h = undefined +h _ _ _ = undefined i :: forall a (b :: ()) d. (d ~ '()) diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 48218a32..3477d89d 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.html @@ -1109,7 +1109,7 @@ forall a. [a] -> [a] -> [a] >plugh :: Either a a -> Either b b -> Either (a -> b) (b -> a) + >plugh :: forall a b. Either a a -> Either b b -> Either (a -> b) (b -> a) num :: a + >num :: forall a. Num a => a frac :: a + >frac :: forall a. Fractional a => a list :: [[[[a]]]] + >list :: forall a. [[[[a]]]] +++ :: [a] -> [a] -> [a] + >+++ :: forall a. [a] -> [a] -> [a] $$$ :: [a] -> [a] -> [a] + >$$$ :: forall a. [a] -> [a] -> [a] *** :: [a] -> [a] -> [a] + >*** :: forall a. [a] -> [a] -> [a] */\* :: [[a]] -> [a] -> [a] + >*/\* :: forall a. [[a]] -> [a] -> [a] **/\** :: [[a]] -> [[a]] -> [[a]] + >**/\** :: forall a. [[a]] -> [[a]] -> [[a]] #.# :: a -> b -> c -> (a, b) + >#.# :: forall a b c. a -> b -> c -> (a, b) foo :: a -> a -> a + >foo :: forall a. a -> a -> a foo' :: a -> a -> a + >foo' :: forall a. a -> a -> a bar :: a -> b -> (a, b) + >bar :: forall a b. a -> b -> (a, b) bar' :: a -> b -> (a, b) + >bar' :: forall a b. a -> b -> (a, b) baz :: a -> (a -> [a -> a] -> b) -> b + >baz :: forall a b. a -> (a -> [a -> a] -> b) -> b baz' :: a -> (a -> [a -> a] -> b) -> b + >baz' :: forall a b. a -> (a -> [a -> a] -> b) -> b quux :: a -> (forall a. a -> a) -> a + >quux :: forall a. a -> (forall a. a -> a) -> a quux' :: a -> (forall a. a -> a) -> a + >quux' :: forall a. a -> (forall a. a -> a) -> a num :: a -> a -> a + >num :: forall a. Num a => a -> a -> a num' :: a -> a -> a + >num' :: forall a. Num a => a -> a -> a eq :: [a] -> [b] -> (a, b) + >eq :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) eq' :: [a] -> [b] -> (a, b) + >eq' :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) mon :: (a -> m a) -> m a + >mon :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a mon' :: (a -> m a) -> m a + >mon' :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a norf :: a -> (forall a. Ord a => a -> a) -> a + >norf :: forall a. a -> (forall a. Ord a => a -> a) -> a norf' :: a -> (forall a. Ord a => a -> a) -> a + >norf' :: forall a. a -> (forall a. Ord a => a -> a) -> a plugh :: a -> a + >plugh :: forall a. a -> a thud :: (a -> b) -> a -> (a, b) + >thud :: forall a b. (a -> b) -> a -> (a, b)