From 27876dc77ff259e27a71ea6f30662a668adfd134 Mon Sep 17 00:00:00 2001 From: Simon Hengel Date: Tue, 3 Sep 2013 19:14:08 +0200 Subject: Don't append newline to parseString input We also check that we have parsed everything with endOfInput. --- html-test/ref/mini_Test.html | 36 ++++++++++++------------------------ 1 file changed, 12 insertions(+), 24 deletions(-) (limited to 'html-test/ref/mini_Test.html') diff --git a/html-test/ref/mini_Test.html b/html-test/ref/mini_Test.html index 26db2c0f..8cd3321a 100644 --- a/html-test/ref/mini_Test.html +++ b/html-test/ref/mini_Test.html @@ -20,11 +20,9 @@ window.onload = function () {pageLoad();}; >

Type declarations -

Type declarations

Data types -

Data types

a b

Records -

Records

Class declarations -

Class declarations

a

Function types -

Function types

Auxiliary stuff -

Auxiliary stuff

A hidden module -

A hidden module

A visible module -

A visible module

Existential / Universal types -

Existential / Universal types

a

Type signatures with argument docs -

Type signatures with argument docs

A section -

A section

A subsection -

A subsection