Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-09-06 16:07:21 -0700 (Mon, 06 Sep 2004)
Revision: 6181
Log message:
Added the builtin grammar. To use it, use the quotation
<:mmc< ... >> instead of <:ext< ... >>. The syntax should
be identical to the Phobos syntax at the moment.
Some important files:
core/mmc_core_grammar.mli : defines the <:mmc< ... >> start
symbol, but doesn't do much except skip whitespace.
core/mmc_core_ast.mli : defines the core grammar
ext/mmc_ext_binary.mli : defines the grammar for Booleans,
&&, ||, and conditionals.
ext/mmc_ext_integer.mli : defines the grammar for integers,
binary operators, and binary relations.
You should be able to use a quotation anywhere.
Except in the toploop:) I'll fix that in a moment.