[mercury-users] :- pragma doc

[Manuel Hermenegildo]

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

I don't know of anyone who has tried with Mercury, but people have
used 'lpdoc' for documenting Prolog programs in that way. lpdoc works
specially well with Ciao programs but people have used it for SICStus
and other Prologs. You can find it at:

http://www.clip.dia.fi.upm.es/Software/Ciao/#lpdoc

Cheers -- Manuel

-- 

-----------------------------------------------------------------------------
herme at fi.upm.es                      | Manuel Hermenegildo                 
+34-91-336-7435 (Work)               | Facultad de Informatica, UPM
+34-91-352-4819 or 336-7412 (FAX)    | Universidad Politecnica de Madrid   
http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN
-----------------------------------------------------------------------------

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