From 8410dd341a1730f708af3f0d96d13f2b5f7b9df5 Mon Sep 17 00:00:00 2001
From: Phil Ruffwind
Date: Wed, 30 Sep 2015 03:22:14 -0400
Subject: Update tests for previous commit
---
html-test/ref/Test.html | 286 +++++++++++++++++++++++++++++++-----------------
1 file changed, 185 insertions(+), 101 deletions(-)
(limited to 'html-test/ref/Test.html')
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 6fb34801..4cb434ad 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -640,9 +640,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");
>data T a b
a b #
This comment applies to the A Int |
B (T data T2 a b a b #An abstract data declaration data T3 a b a b #A data declaration with no documentation annotations on the constructors A1 a | | B1 b | data T4 a b a b #Constructors A2 a | | B2 b | data T5 a b a b #Constructors A3 a | | B3 b | data T6 # A4 | | B4 | | C4 | newtype N1 a a #A newtype N1 a | newtype N2 a b a b #A newtype with a fieldname N2 | - n :: a b
newtype N3 a b a b #A newtype with a fieldname, documentation on the field N3 | - n3 :: a b
data N4 a b a b #An abstract newtype - we show this one as data rather than newtype because
@@ -1014,16 +1034,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");
> newtype N5 a b a b #Constructors N5 | - n5 :: a b
newtype N6 a b a b #Constructors N6 | - n6 :: a b
newtype N7 a b a b #docs on the newtype and the constructor N7 | - n7 :: a b
data R # C1 | | C2 | - t :: T1 -> T2
- u, , v :: Int
data R1 # C3 | - s1 :: Int
- s2 :: Int
- s3 :: Intclass D a => a => C a where #
Methods a :: IO a a #this is a description of the method b :: [a] :: [a] #this is a description of the class D a where # Methods d :: T a b a b #e :: (a, a) :: (a, a) #
| | T Float b b #eFloat, Float) ) # Int # | T Int b b #eInt, Int) ) #class E a a #This is a class declaration with no methods (or no methods exported) class F a where # a :: C a => IO a a #this is a description of the Function typesf :: C a => a -> Int # g :: Int -> IO CInt CInt #we can export foreign declarations too A hidden module data Ex a a #A data-type using existential/universal types C b => b => Ex1 b | | Ex2 b | | C a => a => Ex3 b | | Ex4 (forallType signatures with argument docs |
|
|
|
|
|
|
|
|
|
|
|
|