From 958d64d77572c47d249965d7146ac17a23de806d Mon Sep 17 00:00:00 2001 From: Simon Hengel Date: Mon, 15 Oct 2012 10:34:28 +0200 Subject: Move HTML tests to directory /html-test/ --- html-test/tests/mini_Test.html.ref | 269 +++++++++++++++++++++++++++++++++++++ 1 file changed, 269 insertions(+) create mode 100644 html-test/tests/mini_Test.html.ref (limited to 'html-test/tests/mini_Test.html.ref') diff --git a/html-test/tests/mini_Test.html.ref b/html-test/tests/mini_Test.html.ref new file mode 100644 index 00000000..26db2c0f --- /dev/null +++ b/html-test/tests/mini_Test.html.ref @@ -0,0 +1,269 @@ + +Test

Test

Type declarations +

Data types +

data T a b

data T2 a b

data T3 a b

data T4 a b

data T5 a b

data T6

data N1 a

data N2 a b

data N3 a b

data N4 a b

data N5 a b

data N6 a b

data N7 a b

Records +

data R

data R1

Class declarations +

class C a

class D a

class E a

class F a

Function types +

Auxiliary stuff +

A hidden module +

A visible module +

Existential / Universal types +

data Ex a

Type signatures with argument docs +

A section +

A subsection +

-- cgit v1.2.3