[m-dev.] for review: fix .ints for exist + typeclasses.

David Glen JEFFERY dgj at cs.mu.OZ.AU
Tue Aug 4 16:37:11 AEST 1998


On 04-Aug-1998, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 1
> 
> Fix a bug in the generation of .int declarations for preds/funcs with
> existential types and type classes.
> 
> compiler/mercury_to_mercury.m:
> 	Generate
> 		:- some [T] (func foo:bar = T & (foo:baz(T))).
> 	instead of
> 		:- some [T] func foo:bar = T & (foo:baz(T)).

That looks right, thanks. (Gee, using "&" is ugly, isn't it? ;-) ).


love and cuddles,
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.



More information about the developers mailing list