diff options
| -rw-r--r-- | hypsrc-test/ref/src/Classes.html | 59 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Constructors.html | 92 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Identifiers.html | 20 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/LinkingIdentifiers.html | 44 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Operators.html | 35 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Polymorphism.html | 22 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Records.html | 28 |
7 files changed, 194 insertions, 106 deletions
diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 1bc42897..48218a32 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.html @@ -230,7 +230,7 @@ forall a. a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -359,8 +359,13 @@ forall (t :: * -> *) a. Foldable t => t a -> Int ></span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Int +</span + ><span class="hs-identifier" + >_</span + ></span ><span > </span ><span class="hs-glyph" @@ -519,7 +524,7 @@ forall (t :: * -> *) a. Foldable t => t a -> Int ><span id="" ><span class="annot" ><span class="annottext" - >x :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -534,7 +539,7 @@ forall (t :: * -> *) a. Foldable t => t a -> Int ><span id="" ><span class="annot" ><span class="annottext" - >y :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1125,7 +1130,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >a :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1137,8 +1142,13 @@ forall a. [a] -> [a] -> [a] >)</span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Either b b +</span + ><span class="hs-identifier" + >_</span + ></span ><span > </span ><span class="hs-glyph" @@ -1211,7 +1221,7 @@ forall a b. a -> b -> a ><span id="" ><span class="annot" ><span class="annottext" - >a :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1223,8 +1233,13 @@ forall a b. a -> b -> a >)</span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Either b b +</span + ><span class="hs-identifier" + >_</span + ></span ><span > </span ><span class="hs-glyph" @@ -1286,8 +1301,13 @@ forall a b. a -> b -> a ></span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Either a a +</span + ><span class="hs-identifier" + >_</span + ></span ><span > </span ><span class="hs-special" @@ -1301,7 +1321,7 @@ forall a b. a -> b -> a ><span id="" ><span class="annot" ><span class="annottext" - >b :: b + >b </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1372,8 +1392,13 @@ forall a b. a -> b -> a ></span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Either a a +</span + ><span class="hs-identifier" + >_</span + ></span ><span > </span ><span class="hs-special" @@ -1387,7 +1412,7 @@ forall a b. a -> b -> a ><span id="" ><span class="annot" ><span class="annottext" - >b :: b + >b </span ><a href="#" ><span class="hs-identifier hs-var" diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html index bc671f67..2cc234ac 100644 --- a/hypsrc-test/ref/src/Constructors.html +++ b/hypsrc-test/ref/src/Constructors.html @@ -414,8 +414,11 @@ ><span > </span ><span class="annot" - ><a href="Constructors.html#Bar" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Foo +</span + ><a href="Constructors.html#Bar" + ><span class="hs-identifier hs-var" >Bar</span ></a ></span @@ -446,8 +449,11 @@ ><span > </span ><span class="annot" - ><a href="Constructors.html#Baz" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Foo +</span + ><a href="Constructors.html#Baz" + ><span class="hs-identifier hs-var" >Baz</span ></a ></span @@ -490,7 +496,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >foo :: Foo + >Foo </span ><a href="#" ><span class="hs-identifier hs-var" @@ -503,7 +509,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >n :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -659,8 +665,11 @@ forall a. Num a => a -> a -> a ><span class="hs-special" >(</span ><span class="annot" - ><a href="Constructors.html#Bar" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Foo +</span + ><a href="Constructors.html#Bar" + ><span class="hs-identifier hs-var" >Bar</span ></a ></span @@ -671,7 +680,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >xs :: [Foo] + >[Foo] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -684,8 +693,11 @@ forall a. Num a => a -> a -> a ><span > </span ><span class="annot" - ><a href="Constructors.html#Bar" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Foo +</span + ><a href="Constructors.html#Bar" + ><span class="hs-identifier hs-var" >Bar</span ></a ></span @@ -734,8 +746,11 @@ forall a. Num a => a -> a -> a ><span class="hs-special" >(</span ><span class="annot" - ><a href="Constructors.html#Baz" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Foo +</span + ><a href="Constructors.html#Baz" + ><span class="hs-identifier hs-var" >Baz</span ></a ></span @@ -746,7 +761,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >xs :: [Foo] + >[Foo] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -759,8 +774,11 @@ forall a. Num a => a -> a -> a ><span > </span ><span class="annot" - ><a href="Constructors.html#Baz" - ><span class="hs-identifier hs-type" + ><span class="annottext" + >Foo +</span + ><a href="Constructors.html#Baz" + ><span class="hs-identifier hs-var" >Baz</span ></a ></span @@ -806,8 +824,13 @@ forall a. [a] -> [a] ></span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Norf +</span + ><span class="hs-identifier" + >_</span + ></span ><span > </span ><span class="hs-glyph" @@ -931,14 +954,19 @@ forall a. HasCallStack => a ></span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Foo +</span + ><span class="hs-identifier" + >_</span + ></span ><span > </span ><span id="" ><span class="annot" ><span class="annottext" - >n :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -952,8 +980,13 @@ forall a. HasCallStack => a >,</span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >[Foo] +</span + ><span class="hs-identifier" + >_</span + ></span ><span class="hs-special" >,</span ><span @@ -984,7 +1017,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >f3 :: Foo + >Foo </span ><a href="#" ><span class="hs-identifier hs-var" @@ -994,8 +1027,13 @@ forall a. HasCallStack => a ></span ><span > </span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >Int +</span + ><span class="hs-identifier" + >_</span + ></span ><span class="hs-special" >)</span ><span class="hs-special" @@ -1139,7 +1177,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >fx :: Foo + >Foo </span ><a href="#" ><span class="hs-identifier hs-var" diff --git a/hypsrc-test/ref/src/Identifiers.html b/hypsrc-test/ref/src/Identifiers.html index 9c680069..e0f88772 100644 --- a/hypsrc-test/ref/src/Identifiers.html +++ b/hypsrc-test/ref/src/Identifiers.html @@ -108,7 +108,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -121,7 +121,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >y :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -271,7 +271,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -284,7 +284,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >y :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -434,7 +434,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -447,7 +447,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >y :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -611,7 +611,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -785,7 +785,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -798,7 +798,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >y :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -811,7 +811,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >z :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" diff --git a/hypsrc-test/ref/src/LinkingIdentifiers.html b/hypsrc-test/ref/src/LinkingIdentifiers.html index 68a85dca..c923b6da 100644 --- a/hypsrc-test/ref/src/LinkingIdentifiers.html +++ b/hypsrc-test/ref/src/LinkingIdentifiers.html @@ -105,7 +105,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -128,8 +128,13 @@ ></span ><span > </span - ><span class="hs-number" - >2</span + ><span class="annot" + ><span class="annottext" + >Int +</span + ><span class="hs-number" + >2</span + ></span ><span > </span ><span class="hs-glyph" @@ -230,7 +235,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -240,8 +245,13 @@ forall a. Num a => a -> a -> a ></span ><span > </span - ><span class="hs-number" - >2</span + ><span class="annot" + ><span class="annottext" + >Int +</span + ><span class="hs-number" + >2</span + ></span ><span > </span ><span class="hs-glyph" @@ -372,7 +382,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -395,8 +405,13 @@ forall a. Num a => a -> a -> a ></span ><span > </span - ><span class="hs-number" - >2</span + ><span class="annot" + ><span class="annottext" + >Int +</span + ><span class="hs-number" + >2</span + ></span ><span > </span ><span class="hs-glyph" @@ -497,7 +512,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -507,8 +522,13 @@ forall a. Num a => a -> a -> a ></span ><span > </span - ><span class="hs-number" - >2</span + ><span class="annot" + ><span class="annottext" + >Int +</span + ><span class="hs-number" + >2</span + ></span ><span > </span ><span class="hs-glyph" diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index 09f3355c..289684a0 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -95,7 +95,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >a :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -121,7 +121,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >b :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -260,7 +260,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >a :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -286,7 +286,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >b :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -419,7 +419,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >a :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -464,7 +464,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >a :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -476,8 +476,13 @@ forall a. [a] -> [a] -> [a] > </span ><span class="hs-special" >(</span - ><span class="hs-identifier" - >_</span + ><span class="annot" + ><span class="annottext" + >a +</span + ><span class="hs-identifier" + >_</span + ></span ><span class="annot" ><span class="hs-glyph hs-type" >:</span @@ -485,7 +490,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >b :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -638,7 +643,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >a :: [[a]] + >[[a]] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -664,7 +669,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >b :: [a] + >[a] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -810,7 +815,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >a :: [[a]] + >[[a]] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -836,7 +841,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >b :: [[a]] + >[[a]] </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1047,7 +1052,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >a :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1073,7 +1078,7 @@ forall a. [a] -> [a] -> [a] ><span id="" ><span class="annot" ><span class="annottext" - >b :: b + >b </span ><a href="#" ><span class="hs-identifier hs-var" diff --git a/hypsrc-test/ref/src/Polymorphism.html b/hypsrc-test/ref/src/Polymorphism.html index 5c73153c..9f8a1850 100644 --- a/hypsrc-test/ref/src/Polymorphism.html +++ b/hypsrc-test/ref/src/Polymorphism.html @@ -838,7 +838,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >x :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -851,7 +851,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >f :: forall a. a -> a + >forall a. a -> a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1007,7 +1007,7 @@ forall a. a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1020,7 +1020,7 @@ forall a. a -> a ><span id="" ><span class="annot" ><span class="annottext" - >f :: forall a. a -> a + >forall a. a -> a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1992,7 +1992,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >x :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -2005,7 +2005,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >f :: forall a. Ord a => a -> a + >forall a. Ord a => a -> a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -2167,7 +2167,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >x :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -2180,7 +2180,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >f :: forall a. Ord a => a -> a + >forall a. Ord a => a -> a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -2285,7 +2285,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >x :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" @@ -2449,7 +2449,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >f :: a -> b + >a -> b </span ><a href="#" ><span class="hs-identifier hs-var" @@ -2462,7 +2462,7 @@ forall a. HasCallStack => a ><span id="" ><span class="annot" ><span class="annottext" - >x :: a + >a </span ><a href="#" ><span class="hs-identifier hs-var" diff --git a/hypsrc-test/ref/src/Records.html b/hypsrc-test/ref/src/Records.html index abe06202..604ac6ca 100644 --- a/hypsrc-test/ref/src/Records.html +++ b/hypsrc-test/ref/src/Records.html @@ -232,7 +232,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -245,7 +245,7 @@ ><span id="" ><span class="annot" ><span class="annottext" - >y :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -261,10 +261,10 @@ > </span ><span class="annot" ><span class="annottext" - >$WPoint :: Int -> Int -> Point + >Point :: Int -> Int -> Point </span - ><a href="Records.html#%24WPoint" - ><span class="hs-identifier hs-type hs-type" + ><a href="Records.html#Point" + ><span class="hs-identifier hs-type" >Point</span ></a ></span @@ -815,7 +815,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >p :: Point + >Point </span ><a href="#" ><span class="hs-identifier hs-var" @@ -828,7 +828,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >d :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -938,7 +938,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >p :: Point + >Point </span ><a href="#" ><span class="hs-identifier hs-var" @@ -951,7 +951,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >d :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1121,7 +1121,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >x :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1134,7 +1134,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >y :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1147,7 +1147,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >p :: Point + >Point </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1207,7 +1207,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >dx :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" @@ -1222,7 +1222,7 @@ forall a. Num a => a -> a -> a ><span id="" ><span class="annot" ><span class="annottext" - >dy :: Int + >Int </span ><a href="#" ><span class="hs-identifier hs-var" |