1(* Modified by sweeks@acm.org on 2000-8-24. 2 * Ported to MLton. 3 *) 4 5(* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi 6 * 7 * $Log$ 8 * Revision 1.1 2006/06/22 07:40:27 michaeln 9 * Add a MoscowML compilable implementation of MLyacc, using the MLton sources 10 * as the base. 11 * 12 * Revision 1.1.1.1 1997/01/14 01:38:05 george 13 * Version 109.24 14 * 15 * Revision 1.1.1.1 1996/01/31 16:01:44 george 16 * Version 109 17 * 18 *) 19 20signature ABSYN = 21 sig 22 datatype exp = EVAR of string 23 | EAPP of exp * exp 24 | ETUPLE of exp list 25 | EINT of int 26 | FN of pat * exp 27 | LET of decl list * exp 28 | UNIT 29 | SEQ of exp * exp 30 | CODE of string 31 and pat = PVAR of string 32 | PAPP of string * pat 33 | PTUPLE of pat list 34 | PLIST of pat list 35 | PINT of int 36 | WILD 37 | AS of pat * pat 38 and decl = VB of pat * exp 39 and rule = RULE of pat * exp 40 val printRule : ((string -> unit) * (string -> unit)) -> rule -> unit 41 end 42