diff options
Diffstat (limited to 'hypsrc-test')
| -rw-r--r-- | hypsrc-test/ref/src/Classes.html | 2 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Literals.html | 6 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Operators.html | 12 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Polymorphism.html | 36 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Quasiquoter.html | 2 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html | 38 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/TemplateHaskellSplices.html | 41 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Types.html | 56 | ||||
| -rw-r--r-- | hypsrc-test/src/TemplateHaskellQuasiquotes.hs | 2 |
9 files changed, 102 insertions, 93 deletions
diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 48218a32..3477d89d 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.html @@ -1109,7 +1109,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >plugh :: Either a a -> Either b b -> Either (a -> b) (b -> a) + >plugh :: forall a b. Either a a -> Either b b -> Either (a -> b) (b -> a) </span ><a href="#" ><span class="hs-identifier hs-var hs-var hs-var hs-var" diff --git a/hypsrc-test/ref/src/Literals.html b/hypsrc-test/ref/src/Literals.html index 0c7ddf9e..db6d37b3 100644 --- a/hypsrc-test/ref/src/Literals.html +++ b/hypsrc-test/ref/src/Literals.html @@ -132,7 +132,7 @@ ><span id="num" ><span class="annot" ><span class="annottext" - >num :: a + >num :: forall a. Num a => a </span ><a href="Literals.html#num" ><span class="hs-identifier hs-var hs-var" @@ -285,7 +285,7 @@ forall a. Num a => a -> a -> a ><span id="frac" ><span class="annot" ><span class="annottext" - >frac :: a + >frac :: forall a. Fractional a => a </span ><a href="Literals.html#frac" ><span class="hs-identifier hs-var hs-var" @@ -360,7 +360,7 @@ forall a. Num a => a -> a -> a ><span id="list" ><span class="annot" ><span class="annottext" - >list :: [[[[a]]]] + >list :: forall a. [[[[a]]]] </span ><a href="Literals.html#list" ><span class="hs-identifier hs-var hs-var" diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index 289684a0..2ce87a6e 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -108,7 +108,7 @@ ><span id="%2B%2B%2B" ><span class="annot" ><span class="annottext" - >+++ :: [a] -> [a] -> [a] + >+++ :: forall a. [a] -> [a] -> [a] </span ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator hs-var hs-var" @@ -273,7 +273,7 @@ forall a. [a] -> [a] -> [a] ><span id="%24%24%24" ><span class="annot" ><span class="annottext" - >$$$ :: [a] -> [a] -> [a] + >$$$ :: forall a. [a] -> [a] -> [a] </span ><a href="Operators.html#%24%24%24" ><span class="hs-operator hs-var hs-var" @@ -406,7 +406,7 @@ forall a. [a] -> [a] -> [a] ><span id="%2A%2A%2A" ><span class="annot" ><span class="annottext" - >*** :: [a] -> [a] -> [a] + >*** :: forall a. [a] -> [a] -> [a] </span ><a href="Operators.html#%2A%2A%2A" ><span class="hs-operator hs-var hs-var" @@ -656,7 +656,7 @@ forall a. [a] -> [a] -> [a] ><span id="%2A%2F%5C%2A" ><span class="annot" ><span class="annottext" - >*/\* :: [[a]] -> [a] -> [a] + >*/\* :: forall a. [[a]] -> [a] -> [a] </span ><a href="Operators.html#%2A%2F%5C%2A" ><span class="hs-operator hs-var hs-var" @@ -828,7 +828,7 @@ forall a. [a] -> [a] -> [a] ><span id="%2A%2A%2F%5C%2A%2A" ><span class="annot" ><span class="annottext" - >**/\** :: [[a]] -> [[a]] -> [[a]] + >**/\** :: forall a. [[a]] -> [[a]] -> [[a]] </span ><a href="Operators.html#%2A%2A%2F%5C%2A%2A" ><span class="hs-operator hs-var hs-var" @@ -1065,7 +1065,7 @@ forall a. [a] -> [a] -> [a] ><span id="%23.%23" ><span class="annot" ><span class="annottext" - >#.# :: a -> b -> c -> (a, b) + >#.# :: forall a b c. a -> b -> c -> (a, b) </span ><a href="Operators.html#%23.%23" ><span class="hs-operator hs-var hs-var" diff --git a/hypsrc-test/ref/src/Polymorphism.html b/hypsrc-test/ref/src/Polymorphism.html index 9f8a1850..1b166aff 100644 --- a/hypsrc-test/ref/src/Polymorphism.html +++ b/hypsrc-test/ref/src/Polymorphism.html @@ -107,7 +107,7 @@ ><span id="foo" ><span class="annot" ><span class="annottext" - >foo :: a -> a -> a + >foo :: forall a. a -> a -> a </span ><a href="Polymorphism.html#foo" ><span class="hs-identifier hs-var hs-var" @@ -205,7 +205,7 @@ forall a. HasCallStack => a ><span id="foo%27" ><span class="annot" ><span class="annottext" - >foo' :: a -> a -> a + >foo' :: forall a. a -> a -> a </span ><a href="Polymorphism.html#foo%27" ><span class="hs-identifier hs-var hs-var" @@ -305,7 +305,7 @@ forall a. HasCallStack => a ><span id="bar" ><span class="annot" ><span class="annottext" - >bar :: a -> b -> (a, b) + >bar :: forall a b. a -> b -> (a, b) </span ><a href="Polymorphism.html#bar" ><span class="hs-identifier hs-var hs-var" @@ -427,7 +427,7 @@ forall a. HasCallStack => a ><span id="bar%27" ><span class="annot" ><span class="annottext" - >bar' :: a -> b -> (a, b) + >bar' :: forall a b. a -> b -> (a, b) </span ><a href="Polymorphism.html#bar%27" ><span class="hs-identifier hs-var hs-var" @@ -557,7 +557,7 @@ forall a. HasCallStack => a ><span id="baz" ><span class="annot" ><span class="annottext" - >baz :: a -> (a -> [a -> a] -> b) -> b + >baz :: forall a b. a -> (a -> [a -> a] -> b) -> b </span ><a href="Polymorphism.html#baz" ><span class="hs-identifier hs-var hs-var" @@ -709,7 +709,7 @@ forall a. HasCallStack => a ><span id="baz%27" ><span class="annot" ><span class="annottext" - >baz' :: a -> (a -> [a -> a] -> b) -> b + >baz' :: forall a b. a -> (a -> [a -> a] -> b) -> b </span ><a href="Polymorphism.html#baz%27" ><span class="hs-identifier hs-var hs-var" @@ -825,7 +825,7 @@ forall a. HasCallStack => a ><span id="quux" ><span class="annot" ><span class="annottext" - >quux :: a -> (forall a. a -> a) -> a + >quux :: forall a. a -> (forall a. a -> a) -> a </span ><a href="Polymorphism.html#quux" ><span class="hs-identifier hs-var hs-var" @@ -994,7 +994,7 @@ forall a. a -> a ><span id="quux%27" ><span class="annot" ><span class="annottext" - >quux' :: a -> (forall a. a -> a) -> a + >quux' :: forall a. a -> (forall a. a -> a) -> a </span ><a href="Polymorphism.html#quux%27" ><span class="hs-identifier hs-var hs-var" @@ -1140,7 +1140,7 @@ forall a. a -> a ><span id="num" ><span class="annot" ><span class="annottext" - >num :: a -> a -> a + >num :: forall a. Num a => a -> a -> a </span ><a href="Polymorphism.html#num" ><span class="hs-identifier hs-var hs-var" @@ -1256,7 +1256,7 @@ forall a. HasCallStack => a ><span id="num%27" ><span class="annot" ><span class="annottext" - >num' :: a -> a -> a + >num' :: forall a. Num a => a -> a -> a </span ><a href="Polymorphism.html#num%27" ><span class="hs-identifier hs-var hs-var" @@ -1402,7 +1402,7 @@ forall a. HasCallStack => a ><span id="eq" ><span class="annot" ><span class="annottext" - >eq :: [a] -> [b] -> (a, b) + >eq :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) </span ><a href="Polymorphism.html#eq" ><span class="hs-identifier hs-var hs-var" @@ -1570,7 +1570,7 @@ forall a. HasCallStack => a ><span id="eq%27" ><span class="annot" ><span class="annottext" - >eq' :: [a] -> [b] -> (a, b) + >eq' :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) </span ><a href="Polymorphism.html#eq%27" ><span class="hs-identifier hs-var hs-var" @@ -1694,7 +1694,7 @@ forall a. HasCallStack => a ><span id="mon" ><span class="annot" ><span class="annottext" - >mon :: (a -> m a) -> m a + >mon :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a </span ><a href="Polymorphism.html#mon" ><span class="hs-identifier hs-var hs-var" @@ -1840,7 +1840,7 @@ forall a. HasCallStack => a ><span id="mon%27" ><span class="annot" ><span class="annottext" - >mon' :: (a -> m a) -> m a + >mon' :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a </span ><a href="Polymorphism.html#mon%27" ><span class="hs-identifier hs-var hs-var" @@ -1979,7 +1979,7 @@ forall a. HasCallStack => a ><span id="norf" ><span class="annot" ><span class="annottext" - >norf :: a -> (forall a. Ord a => a -> a) -> a + >norf :: forall a. a -> (forall a. Ord a => a -> a) -> a </span ><a href="Polymorphism.html#norf" ><span class="hs-identifier hs-var hs-var" @@ -2154,7 +2154,7 @@ forall a. HasCallStack => a ><span id="norf%27" ><span class="annot" ><span class="annottext" - >norf' :: a -> (forall a. Ord a => a -> a) -> a + >norf' :: forall a. a -> (forall a. Ord a => a -> a) -> a </span ><a href="Polymorphism.html#norf%27" ><span class="hs-identifier hs-var hs-var" @@ -2272,7 +2272,7 @@ forall a. HasCallStack => a ><span id="plugh" ><span class="annot" ><span class="annottext" - >plugh :: a -> a + >plugh :: forall a. a -> a </span ><a href="Polymorphism.html#plugh" ><span class="hs-identifier hs-var hs-var" @@ -2436,7 +2436,7 @@ forall a. HasCallStack => a ><span id="thud" ><span class="annot" ><span class="annottext" - >thud :: (a -> b) -> a -> (a, b) + >thud :: forall a b. (a -> b) -> a -> (a, b) </span ><a href="Polymorphism.html#thud" ><span class="hs-identifier hs-var hs-var" diff --git a/hypsrc-test/ref/src/Quasiquoter.html b/hypsrc-test/ref/src/Quasiquoter.html index f53219d7..ea111cad 100644 --- a/hypsrc-test/ref/src/Quasiquoter.html +++ b/hypsrc-test/ref/src/Quasiquoter.html @@ -372,7 +372,7 @@ forall a. String -> Q a ><span id="" ><span class="annot" ><span class="annottext" - >invalidDomain :: String -> Q a + >invalidDomain :: forall a. String -> Q a </span ><a href="#" ><span class="hs-identifier hs-var hs-var" diff --git a/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html b/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html index 68c7b754..38dfb97e 100644 --- a/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html +++ b/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html @@ -111,8 +111,10 @@ >::</span ><span > </span - ><span class="" - >$aType</span + ><span class="hs-special" + >$</span + ><span class="hs-identifier" + >aType</span ><span > </span ><span class="hs-glyph" @@ -150,16 +152,20 @@ >bar</span ><span > </span - ><span class="" - >$aPattern</span + ><span class="hs-special" + >$</span + ><span class="hs-identifier" + >aPattern</span ><span > </span ><span class="hs-glyph" >=</span ><span > </span - ><span class="" - >$anExpression</span + ><span class="hs-special" + >$</span + ><span class="hs-identifier" + >anExpression</span ><span > </span @@ -283,8 +289,10 @@ >(</span ><span > </span - ><span class="" - >$aNumberPattern</span + ><span class="hs-special" + >$</span + ><span class="hs-identifier" + >aNumberPattern</span ><span class="hs-special" >,</span ><span @@ -370,20 +378,12 @@ > </span ><span class="hs-identifier" >w</span - ><span - > </span ><span class="hs-glyph" >@</span - ><span - > </span ><span class="hs-identifier" >v</span - ><span - > </span ><span class="hs-glyph" >@</span - ><span - > </span ><span class="hs-number" >4.5</span ><span @@ -476,8 +476,10 @@ >+</span ><span > </span - ><span class="" - >$anExpression2</span + ><span class="hs-special" + >$</span + ><span class="hs-identifier" + >anExpression2</span ><span class="hs-special" >,</span ><span diff --git a/hypsrc-test/ref/src/TemplateHaskellSplices.html b/hypsrc-test/ref/src/TemplateHaskellSplices.html index 6586d299..63b0025d 100644 --- a/hypsrc-test/ref/src/TemplateHaskellSplices.html +++ b/hypsrc-test/ref/src/TemplateHaskellSplices.html @@ -54,20 +54,15 @@ ><span id="line-6" ></span ><span class="hs-special" - >$(</span + >$</span ><span id="bar" - ><span class="annot" - ><span class="annottext" - >[(Double, String)] -> [(Int, String)] -</span - ><a href="TemplateHaskellSplices.html#bar" - ><span class="hs-identifier hs-type hs-var" - >aDecl</span - ></a - ></span - ></span ><span class="hs-special" - >)</span + >(</span + ><span class="hs-identifier" + >aDecl</span + ><span class="hs-special" + >)</span + ></span ><span > </span @@ -106,23 +101,11 @@ forall a. a -> a ><span > </span ><span class="hs-special" - >$(</span - ><span class="annot" - ><span class="annottext" - >Double -Integer -Double -> Integer -Integer -> Integer -> Integer -forall a. Floating a => a -forall a. Num a => a -> a -> a -forall a b. (RealFrac a, Integral b) => a -> b -+ :: forall a. Num a => a -> a -> a -round :: forall a b. (RealFrac a, Integral b) => a -> b -pi :: forall a. Floating a => a -</span - ><span class="hs-identifier hs-var hs-var hs-var" - >anExpression2</span - ></span + >$</span + ><span class="hs-special" + >(</span + ><span class="hs-identifier" + >anExpression2</span ><span class="hs-special" >)</span ><span diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html index e08382dd..835fafb0 100644 --- a/hypsrc-test/ref/src/Types.html +++ b/hypsrc-test/ref/src/Types.html @@ -699,8 +699,11 @@ ><span > </span ><span class="annot" - ><a href="Types.html#Bar" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Bar" + ><span class="hs-identifier hs-var" >Bar</span ></a ></span @@ -761,8 +764,11 @@ ><span > </span ><span class="annot" - ><a href="Types.html#Baz" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Baz" + ><span class="hs-identifier hs-var" >Baz</span ></a ></span @@ -864,8 +870,11 @@ ><span > </span ><span class="annot" - ><a href="Types.html#Bar" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Bar" + ><span class="hs-identifier hs-var" >Bar</span ></a ></span @@ -926,8 +935,11 @@ ><span > </span ><span class="annot" - ><a href="Types.html#Baz" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Baz" + ><span class="hs-identifier hs-var" >Baz</span ></a ></span @@ -1060,8 +1072,11 @@ ><span > </span ><span class="annot" - ><a href="Types.html#Bar" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Bar" + ><span class="hs-identifier hs-var" >Bar</span ></a ></span @@ -1112,8 +1127,11 @@ ><span > </span ><span class="annot" - ><a href="Types.html#Baz" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Baz" + ><span class="hs-identifier hs-var" >Baz</span ></a ></span @@ -1207,8 +1225,11 @@ ><span class="hs-special" >(</span ><span class="annot" - ><a href="Types.html#Bar" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Bar" + ><span class="hs-identifier hs-var" >Bar</span ></a ></span @@ -1259,8 +1280,11 @@ ><span class="hs-special" >(</span ><span class="annot" - ><a href="Types.html#Baz" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Quux +</span + ><a href="Types.html#Baz" + ><span class="hs-identifier hs-var" >Baz</span ></a ></span diff --git a/hypsrc-test/src/TemplateHaskellQuasiquotes.hs b/hypsrc-test/src/TemplateHaskellQuasiquotes.hs index a1661895..6d404921 100644 --- a/hypsrc-test/src/TemplateHaskellQuasiquotes.hs +++ b/hypsrc-test/src/TemplateHaskellQuasiquotes.hs @@ -21,7 +21,7 @@ aPattern = [p| aNumberPattern :: PatQ aNumberPattern = [p| - w @ v @ 4.5 + w@v@4.5 |] anExpression, anExpression2 :: ExpQ |