[mercury-users] Mercury front ends

[Michael Day]

Hi,

are there any plans to experiment with alternative Mercury front ends? It
seems that there is a lot of scope for XML marked up source, for instance:

	- cross references
	- embedded images, equations and animations (and <gasp/> music)
	- separation of source semantics from style, using style sheets
	- an end to indentation arguments.
	- an end to the righteousness of tabs vs spaces.
	- lead to the creation of more powerful source editors
	- simplify pre-processors, lint tools and bindings generators
	- permit annotations and revision control
	- so on and so forth.

Any thoughts?

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