
> > 5) When compiling the modules with mmc, what is the 
>difference
> > between short-int, priv-int and int interfaces.
>
>You don't need to know.  Just use Mmake (or the new `mmc --make' 
>option).
>
>But, since you asked: the private interface (`.int0') file 
>contains
>information about the implementation section of a module, for 
>use
>when compiling sub-modules.  The short interface file (`.int2')
>contains only type, inst, mode, and typeclass declarations; 
>these
>files are needed for module-qualifying references to those 
>entities when
>creating the ordinary interface file (`.int').

When I compile my files and make interfaces, I use
mmc --make-int filename1.m filename2.m .......

It works fine.
So, Is it necessary to compile the code with...
mmc --make-short-int filename1.m filename2.m .......

and

mmc --make-priv-int filename1.m filename2.m .......

Plz do tell me.

Thanks

Noel
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------

