[m-dev.] diff: pragma no_inline

Simon TAYLOR stayl at students.cs.mu.oz.au
Fri Jun 27 12:33:49 AEST 1997


Tyson wrote:
> This change implements `:- pragma no_inline'. I've had to make a few
> related changes along the way in the handling of markers and creation of
> new predicates. 

That all looks fine to me.

Simon.



More information about the developers mailing list