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