[mercury-users] Various Queries.... asap

[Fergus Henderson]

On 11-Oct-2002, Noel  Pinto <cool4life at rediffmail.com> wrote:
> 1) what is conjuction and disjunction in Mercury?

Syntactically, conjunction is "," and disjunction is ";".
Semantically, conjunction is AND and disjunction is OR.

> 2) I would also like to know where I can download the editor to 
> view '.ps' files ??

The "gv" (ghostview) program.
A google search will find it.
It's also part of Cygwin, I think.

> 4) In the Mercury User's guide, Using mmake section, targets are 
> mentioned.
> 'main-module.depend' is a target. It creates main-module.dep and 
> main-module.dv from main-module.m
> How can 'main-module.depend' be called a target when the files are 
> created in the directory, in which the commands are executed?

Read the "Phony targets" section of the GNU Make documentation.

> 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').

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------