[mercury-users] :- pragma doc

[Michael Day]

Is there any support for embedding arbitrary non-code information in a 
Mercury file aside from comments? I believe there was once a proposal for

:- doc("foo").

or something like that, how about ignoring unrecognised pragmas, so that 
people can say things like

:- pragma doc("blah").
:- pragma my_special_directive([1,2,3]).

or whatever, without bothering the compiler?

Michael

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------