[m-dev.] module qualified type names

Tyson Richard DOWD trd at cs.mu.oz.au
Tue Jul 29 19:13:38 AEST 1997


Fergus Henderson wrote:
> Tyson Richard DOWD, you wrote:
> > Fergus Henderson wrote:
> > > Hi,
> > > 
> > > The only things I'm waiting on for release 0.7 are
> > > 
> > > 	- Module qualify names in type_name/1 etc.	[trd]
> > 
> > Do you want 
> > 	`pred' or `mercury_builtin:pred'
> > 	`int' or `mercury_builtin:int'
> 
> `pred'.

And similarly for type_info_to_term I assume?

-- 
       Tyson Dowd           # 4.4: People keep saying the behavior is undefined,
                            # but I just tried it on an ANSI-conforming compiler
     trd at cs.mu.oz.au        # and got the results I expected.
http://www.cs.mu.oz.au/~trd # A: They were wrong. Flame them mercilessly. C-IAQ



More information about the developers mailing list