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 --- hypsrc-test/ref/src/Polymorphism.html | 36 +++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) (limited to 'hypsrc-test/ref/src/Polymorphism.html') diff --git a/hypsrc-test/ref/src/Polymorphism.html b/hypsrc-test/ref/src/Polymorphism.html index 9f8a1850..1b166aff 100644 --- a/hypsrc-test/ref/src/Polymorphism.html +++ b/hypsrc-test/ref/src/Polymorphism.html @@ -107,7 +107,7 @@ >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)