diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-09-23 20:37:34 -0400 | 
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-10-30 19:35:59 -0400 | 
| commit | ad9cbad7312a64e6757c32bd9488c55ba4f2fec9 (patch) | |
| tree | 1c0035b3bf571673c539aad1b992a8a392d7bf4b /hypsrc-test/ref | |
| parent | 3cce1bdee8c61bb6daa089059e12435178f50770 (diff) | |
Adapt to HsOuterTyVarBndrs
These changes accompany ghc/ghc!4107, which aims to be a fix
for #16762.
Diffstat (limited to 'hypsrc-test/ref')
| -rw-r--r-- | hypsrc-test/ref/src/Classes.html | 276 | 
1 files changed, 138 insertions, 138 deletions
| diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 3477d89d..2a44be99 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.html @@ -280,12 +280,12 @@ forall a. a -> a  </span        ><span id="line-12"        ></span -      ><span id=""        ><span class="hs-keyword" -	>instance</span -	><span -	> </span -	><span class="annot" +      >instance</span +      ><span +      > </span +      ><span id="" +      ><span class="annot"  	><a href="Classes.html#Foo"  	  ><span class="hs-identifier hs-type"  	    >Foo</span @@ -303,93 +303,93 @@ forall a. a -> a  	  ></span  	><span class="hs-special"  	>]</span -	><span -	> </span -	><span class="hs-keyword" -	>where</span -	><span -	> -</span -	><span id="line-13"  	></span -	><span -	>    </span -	><span id="" -	><span class="annot" -	  ><span class="annottext" -	    >bar :: [a] -> Int +      ><span +      > </span +      ><span class="hs-keyword" +      >where</span +      ><span +      >  </span -	    ><a href="#" -	    ><span class="hs-identifier hs-var hs-var hs-var hs-var" -	      >bar</span -	      ></a -	    ></span -	  ></span -	><span -	> </span -	><span class="hs-glyph" -	>=</span -	><span -	> </span -	><span class="annot" +      ><span id="line-13" +      ></span +      ><span +      >    </span +      ><span id="" +      ><span class="annot"  	><span class="annottext" -	  >[a] -> Int -forall (t :: * -> *) a. Foldable t => t a -> Int +	  >bar :: [a] -> Int  </span -	  ><span class="hs-identifier hs-var" -	  >length</span +	  ><a href="#" +	  ><span class="hs-identifier hs-var hs-var hs-var hs-var" +	    >bar</span +	    ></a  	  ></span -	><span -	> +	></span +      ><span +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span +      > </span +      ><span class="annot" +      ><span class="annottext" +	>[a] -> Int +forall (t :: * -> *) a. Foldable t => t a -> Int  </span -	><span id="line-14" +	><span class="hs-identifier hs-var" +	>length</span  	></span -	><span -	>    </span -	><span id="" -	><span class="annot" -	  ><span class="annottext" -	    >baz :: Int -> ([a], [a]) +      ><span +      >  </span -	    ><a href="#" -	    ><span class="hs-identifier hs-var hs-var hs-var hs-var" -	      >baz</span -	      ></a -	    ></span -	  ></span -	><span -	> </span -	><span class="annot" +      ><span id="line-14" +      ></span +      ><span +      >    </span +      ><span id="" +      ><span class="annot"  	><span class="annottext" -	  >Int +	  >baz :: Int -> ([a], [a])  </span -	  ><span class="hs-identifier" -	  >_</span +	  ><a href="#" +	  ><span class="hs-identifier hs-var hs-var hs-var hs-var" +	    >baz</span +	    ></a  	  ></span -	><span -	> </span -	><span class="hs-glyph" -	>=</span -	><span -	> </span -	><span class="hs-special" -	>(</span -	><span class="hs-special" -	>[</span -	><span class="hs-special" -	>]</span -	><span class="hs-special" -	>,</span -	><span -	> </span -	><span class="hs-special" -	>[</span -	><span class="hs-special" -	>]</span -	><span class="hs-special" -	>)</span  	></span        ><span +      > </span +      ><span class="annot" +      ><span class="annottext" +	>Int +</span +	><span class="hs-identifier" +	>_</span +	></span +      ><span +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span +      > </span +      ><span class="hs-special" +      >(</span +      ><span class="hs-special" +      >[</span +      ><span class="hs-special" +      >]</span +      ><span class="hs-special" +      >,</span +      ><span +      > </span +      ><span class="hs-special" +      >[</span +      ><span class="hs-special" +      >]</span +      ><span class="hs-special" +      >)</span +      ><span        >  </span        ><span id="line-15" @@ -821,12 +821,12 @@ forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a  </span        ><span id="line-27"        ></span -      ><span id=""        ><span class="hs-keyword" -	>instance</span -	><span -	> </span -	><span id="" +      >instance</span +      ><span +      > </span +      ><span id="" +      ><span id=""  	><span class="annot"  	  ><a href="Classes.html#Foo%27"  	    ><span class="hs-identifier hs-type" @@ -846,52 +846,52 @@ forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a  	  ><span class="hs-special"  	  >]</span  	  ></span -	><span -	> </span -	><span class="hs-keyword" -	>where</span -	><span -	> -</span -	><span id="line-28"  	></span -	><span -	>    </span -	><span id="" -	><span class="annot" -	  ><span class="annottext" -	    >quux :: ([a], [a]) -> [a] +      ><span +      > </span +      ><span class="hs-keyword" +      >where</span +      ><span +      >  </span -	    ><a href="#" -	    ><span class="hs-identifier hs-var hs-var hs-var hs-var" -	      >quux</span -	      ></a -	    ></span -	  ></span -	><span -	> </span -	><span class="hs-glyph" -	>=</span -	><span -	> </span -	><span class="annot" +      ><span id="line-28" +      ></span +      ><span +      >    </span +      ><span id="" +      ><span class="annot"  	><span class="annottext" -	  >([a] -> [a] -> [a]) -> ([a], [a]) -> [a] -forall a b c. (a -> b -> c) -> (a, b) -> c +	  >quux :: ([a], [a]) -> [a]  </span -	  ><span class="hs-identifier hs-var" -	  >uncurry</span +	  ><a href="#" +	  ><span class="hs-identifier hs-var hs-var hs-var hs-var" +	    >quux</span +	    ></a  	  ></span -	><span -	> </span -	><span class="annot" -	><span class="annottext" -	  >[a] -> [a] -> [a] +	></span +      ><span +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span +      > </span +      ><span class="annot" +      ><span class="annottext" +	>([a] -> [a] -> [a]) -> ([a], [a]) -> [a] +forall a b c. (a -> b -> c) -> (a, b) -> c +</span +	><span class="hs-identifier hs-var" +	>uncurry</span +	></span +      ><span +      > </span +      ><span class="annot" +      ><span class="annottext" +	>[a] -> [a] -> [a]  forall a. [a] -> [a] -> [a]  </span -	  ><span class="hs-operator hs-var" -	  >(++)</span -	  ></span +	><span class="hs-operator hs-var" +	>(++)</span  	></span        ><span        > @@ -941,23 +941,23 @@ forall a. [a] -> [a] -> [a]        ></span        ><span        >    </span +      ><span id="plugh" +      ><span class="annot" +	><a href="Classes.html#plugh" +	  ><span class="hs-identifier hs-type" +	    >plugh</span +	    ></a +	  ></span +	></span +      ><span +      > </span +      ><span class="hs-glyph" +      >::</span +      ><span +      > </span        ><span id=""        ><span id="" -	><span id="plugh" -	  ><span class="annot" -	    ><a href="Classes.html#plugh" -	      ><span class="hs-identifier hs-type" -		>plugh</span -		></a -	      ></span -	    ></span -	  ><span -	  > </span -	  ><span class="hs-glyph" -	  >::</span -	  ><span -	  > </span -	  ><span class="annot" +	><span class="annot"  	  ><a href="#"  	    ><span class="hs-identifier hs-type"  	      >p</span | 
