[m-dev.] for review: typecheck bug fix
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Thu Oct 1 17:45:40 AEST 1998
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
Otherwise that is fine, thanks.
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.
More information about the developers