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/PatternSyns.html | 58 +++++++++++++++++++++--------------------- 1 file changed, 29 insertions(+), 29 deletions(-) (limited to 'html-test/ref/PatternSyns.html') diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 9ba02ac5..f1bd7f62 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -17,11 +17,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; >

data FooType x = x = FooCtor x

pattern pattern Foo t :: t :: FooType t

pattern pattern Bar t :: t :: FooType ( (FooType t)

pattern t pattern t :<-> t :: ( t :: (FooType t, t, FooType ( (FooType t))

data a a >< b = b = Empty

pattern pattern E :: :: (><) k t t

pattern Foo t :: t :: FooType t

Pattern synonym for Foo x

pattern Bar t :: t :: FooType ( (FooType t)

Pattern synonym for Bar x

pattern t :<-> t :: ( t :: (FooType t, t, FooType ( (FooType t))

Pattern synonym for (:<->)

pattern E :: :: (><) k t t

Pattern for Empty