Previous Next Contents

2.4   Predefined quotation expanders

A quotation expander is provided in the file ``q_MLast.cmo'' allowing to create abstract syntax tree nodes from concrete revised syntax. It is used in language syntax extensions (chapter 4).

Another quotation expander provided is ``q_phony.cmo''. It transforms all quotations into variables whose name holds all the text of the quotation, << and >> included. It is useful for pretty printing programs with the quotations not expanded.


Previous Next Contents