diff options
Diffstat (limited to 'hypsrc-test/ref/src/Operators.html')
| -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 | 
