[m-dev.] 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-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------