From 4ebde6b0846d29ccab283e9211162dd9c09ccf9a Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Thu, 13 Mar 2014 13:52:40 +0100 Subject: Strip links from recently added html tests These were accidentally left there when the tests were originally added --- html-test/ref/ImplicitParams.html | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'html-test/ref/ImplicitParams.html') diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index 48ec7c5f..9bd826d6 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -17,11 +17,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_ImplicitParams.html"); >

c :: (?x :: :: (?x :: X) => ) => X

d :: (?x :: :: (?x :: X, ?y :: , ?y :: X) => () => (X, , X)

f :: ((?x :: :: ((?x :: X) => a) -> a