[m-dev.] context "macros"

[Peter Wang]

Hi,

What do you think of adding support for __file__, __pred__, __line__
"macros"?  These would expand into strings or integers like the
corresponding C macros.

My concern was just about the syntax.  __foo__ has the advantages of
following C and requiring no changes to the parser.  __line__ is a
little bit sticky for referential transparency, but __file__ and
__pred__ would just act like variables assigned at the start of the
predicate.

Peter

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------