From 0afc10f95f99f9e75b387411533b12f9c279b89d Mon Sep 17 00:00:00 2001 From: David Waern Date: Sun, 16 Aug 2009 00:50:59 +0000 Subject: Update test output - we now have more links --- tests/tests/Bug8.html.ref | 10 +++++-- tests/tests/GADTRecords.html.ref | 8 ++++-- tests/tests/Hash.html.ref | 56 ++++++++++++++++++++++++++++++---------- tests/tests/QuasiExpr.html.ref | 36 +++++++++++++++++++------- tests/tests/Test.html.ref | 48 +++++++++++++++++++++++++--------- 5 files changed, 120 insertions(+), 38 deletions(-) diff --git a/tests/tests/Bug8.html.ref b/tests/tests/Bug8.html.ref index 21a4aa9e..fb82d9de 100644 --- a/tests/tests/Bug8.html.ref +++ b/tests/tests/Bug8.html.ref @@ -96,7 +96,9 @@ >Type (String, [ (String, [Typ])TFree (String, [String]) (String, [String])C2 :: Ord a => [a] -> :: Ord a => [a] -> H1 a aC2 :: Ord a => [a] -> :: Ord a => [a] -> H1 a anew :: (Eq key, :: (Eq key, Hash key) => Int -> IO ( key) => Int -> IO (HashTable key val)insert :: (Eq key, :: (Eq key, Hash key) => key -> val -> IO () key) => key -> val -> IO ()lookup :: Hash key => key -> IO (Maybe val) key => key -> IO (Maybe val)key should be an instance of EqEq. new :: (Eq key, :: (Eq key, Hash key) => Int -> IO ( key) => Int -> IO (HashTable key val)insert :: (Eq key, :: (Eq key, Hash key) => key -> val -> IO () key) => key -> val -> IO ()lookup :: Hash key => key -> IO (Maybe val) key => key -> IO (Maybe val)Looks up a key in the hash table, returns JustJust val if the key was found, or NothingNothing otherwise. AntiIntExpr String StringAntiExpr String String
Data Data Expr
Show Show Expr
Typeable Typeable Expr
parseExprExp :: String -> Q Exp :: String -> Q Exp Int (Maybe Float) :: IO a :: Int -> IO CInt () () -> IO () () -> IO Int :: Float -> IO Float Int (Maybe Float) :: IO a :: Int -> IO CInt-> IO ()-> IO Int-> IO Float
Data Data BinOp
Show Show BinOp
Typeable Typeable BinOp
= A Int (Maybe Float)
a :: IO a
g :: Int -> IO CInt
T4 Float Float) -> T5 () () -> IO ()
R -> N1 () -> IO Int
o :: Float -> IO Float
A Int (Maybe Float)This comment describes the a :: IO a
g :: Int -> IO CInt
-> IO ()This is the result type
-> IO Intand the return value
-> IO FloatThe output float