Modified:
/wiki/ModSyntax.wiki
=======================================
--- /wiki/ModSyntax.wiki Fri Jun 25 07:37:33 2010
+++ /wiki/ModSyntax.wiki Fri Jun 25 07:42:06 2010
@@ -2,7 +2,7 @@
= The Structure of Source Code for a Module =
-We describe here the structure of declarations constituting the source
code for a module that is contained in a file called '<modname>.mod'. As
already explained, this source code file goes hand-in-hand with the
signature file for the module and requires the latter to be used in its
interpretation.
+We describe here the structure of declarations constituting the source
code for a module that is contained in a file called `<modname>.mod`. As
already explained, this source code file goes hand-in-hand with the
signature file for the module and requires the latter to be used in its
interpretation.
The Teyjus parser for the source code file consists of a part
automatically generated by the _OCaml_ parser generator from a context-free
grammar and a post processor that manipulates the (pre) abstract syntax
structures generated by the automatically constructed parser. The post
processing phase is needed to handle information such as arities of type
constructors and operator fixities and precedence that is also gleaned
through the parse. The grammar below represents the effect of the combined
processing and should not be confused with the one that forms the input to
the parser generator.