[mercury-users] :- pragma doc

[Ralph Becket]

Michael Day, Friday, 25 October 2002:
> 
> 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?

Well, you could always use funnelweb or one of the plethora of literate
programming tools.

Or just write a little Awk script.

But it's not clear there's much demand for it at the moment.

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