diff options
Diffstat (limited to 'hypsrc-test/ref/src')
-rw-r--r-- | hypsrc-test/ref/src/Operators.html | 56 |
1 files changed, 18 insertions, 38 deletions
diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index 04006a0d..8519d9de 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -33,11 +33,6 @@ </span ><span id="line-4" ></span - ><span - > -</span - ><span id="line-5" - ></span ><span id="" ><span class="annot" ><a href="Operators.html#%2B%2B%2B" @@ -97,7 +92,7 @@ ><span > </span - ><span id="line-6" + ><span id="line-5" ></span ><span id="" ><span class="annot" @@ -196,12 +191,12 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-7" + ><span id="line-6" ></span ><span > </span - ><span id="line-8" + ><span id="line-7" ></span ><span id="" ><span class="annot" @@ -262,7 +257,7 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-9" + ><span id="line-8" ></span ><span id="" ><span class="annot" @@ -342,12 +337,12 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-10" + ><span id="line-9" ></span ><span > </span - ><span id="line-11" + ><span id="line-10" ></span ><span id="" ><span class="annot" @@ -408,7 +403,7 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-12" + ><span id="line-11" ></span ><span id="%2A%2A%2A" ><span class="annot" @@ -458,7 +453,7 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-13" + ><span id="line-12" ></span ><span class="annot" ><a href="Operators.html#%2A%2A%2A" @@ -575,12 +570,12 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-14" + ><span id="line-13" ></span ><span > </span - ><span id="line-15" + ><span id="line-14" ></span ><span id="" ><span class="annot" @@ -645,7 +640,7 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-16" + ><span id="line-15" ></span ><span id="" ><span class="annot" @@ -739,12 +734,12 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-17" + ><span id="line-16" ></span ><span > </span - ><span id="line-18" + ><span id="line-17" ></span ><span id="" ><span class="annot" @@ -817,7 +812,7 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-19" + ><span id="line-18" ></span ><span id="" ><span class="annot" @@ -961,17 +956,12 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-20" - ></span - ><span - > -</span - ><span id="line-21" + ><span id="line-19" ></span ><span > </span - ><span id="line-22" + ><span id="line-20" ></span ><span id="" ><span id="" @@ -1054,7 +1044,7 @@ forall a. [a] -> [a] -> [a] ><span > </span - ><span id="line-23" + ><span id="line-21" ></span ><span id="" ><span class="annot" @@ -1109,16 +1099,6 @@ forall a b. a -> b -> a ></span ><span > </span - ><span class="annot" - ><span class="annottext" - >((a, b) -> c -> (a, b)) -> (a, b) -> c -> (a, b) -forall a b. (a -> b) -> a -> b -</span - ><span class="hs-operator hs-var" - >$</span - ></span - ><span - > </span ><span class="hs-special" >(</span ><span class="annot" @@ -1148,7 +1128,7 @@ forall a b. (a -> b) -> a -> b ><span > </span - ><span id="line-24" + ><span id="line-22" ></span ></pre ></body |