[m-dev.] for review: typecheck bug fix

[David Glen JEFFERY]

On 01-Oct-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 
> Index: compiler/typecheck.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/typecheck.m,v
> retrieving revision 1.250
> diff -u -r1.250 typecheck.m
> --- typecheck.m	1998/09/29 18:14:57	1.250
> +++ typecheck.m	1998/10/01 06:23:11
> @@ -2880,12 +2880,21 @@
>  		% in the inferred types, plus any existentially typed
>  		% variables that will remain in the declaration.
>  		%
> +		% There may also be some types in the HeadTypeParams

s/types/type variables/

Otherwise that is fine, thanks.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.