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/Operators.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'hypsrc-test/ref/src/Operators.html') diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index 289684a0..2ce87a6e 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -108,7 +108,7 @@ >+++ :: [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)