1 (**************************************************************************)
5 (* François Pottier, INRIA Rocquencourt *)
6 (* Yann Régis-Gianas, PPS, Université Paris Diderot *)
8 (* Copyright 2005-2008 Institut National de Recherche en Informatique *)
9 (* et en Automatique. All rights reserved. This file is distributed *)
10 (* under the terms of the Q Public License version 1.0, with the change *)
11 (* described in file LICENSE. *)
13 (**************************************************************************)
15 (* This module drives the first half of the front-end. It opens and
16 parses the input files, which yields a number of partial
17 grammars. It joins these grammars, expands them to get rid of
18 parameterized nonterminals, and performs reachability
19 analysis. This yields a single unified grammar.
21 More transformations over this grammar are performed in the second
22 half of the front-end, which is driven by [Front]. The modules
23 [PreFront] and [Front] are separated because it is convenient to
24 insert auxiliary modules, such as [TokenType] and [Infer], in
27 val grammar
: UnparameterizedSyntax.grammar