From a427f597e081ce37a881e6612efeab7ef0bb0dac Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 8 Feb 2016 14:37:49 +0100 Subject: hypsrc-test: Accept test output And fix impredicative Polymorphism testcase. --- hypsrc-test/ref/src/Operators.html | 129 ++++++++++++++++++------------------- 1 file changed, 64 insertions(+), 65 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 fe690db2..8ce0b9ce 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -1,4 +1,3 @@ - [a [a [aa b= a++ b++ a [a [a [aa b= b a [a [a [a) a= a) a_:b= a (a b[[a [a [aa b b) a[[a[[a[[aa b [a b (a b:: a-> b (c (a, ba b (a, b +> \ No newline at end of file -- cgit v1.2.3