Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/ml-burg/burg-ast.sml
ViewVC logotype

Annotation of /sml/trunk/src/ml-burg/burg-ast.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 8 - (view) (download)
Original Path: sml/branches/SMLNJ/src/ml-burg/burg-ast.sml

1 : monnier 2 (*
2 :     * burg-ast.sml
3 :     *
4 :     * Abstract syntax trees for BURG specifications.
5 :     *
6 :     * $Log$
7 : monnier 8 * Revision 1.1.1.2 1998/01/18 01:00:04 monnier
8 :     * *** empty log message ***
9 : monnier 2 *
10 : monnier 8 * Revision 1.1.1.1 1997/01/14 01:37:59 george
11 :     * Version 109.24
12 :     *
13 : monnier 2 * Revision 1.1.1.2 1997/01/11 18:52:28 george
14 :     * ml-burg Version 109.24
15 :     *
16 :     * Revision 1.1.1.1 1996/01/31 16:01:24 george
17 :     * Version 109
18 :     *
19 :     *)
20 :    
21 :     structure BurgAST =
22 :     struct
23 :    
24 :     datatype decl_ast = START of string
25 :     | TERM of (string * string option) list
26 :     | TERMPREFIX of string
27 :     | RULEPREFIX of string
28 :     | SIG of string
29 :    
30 :     datatype pattern_ast = PAT of (string * pattern_ast list)
31 :    
32 :     datatype rule_ast = RULE of (string * pattern_ast * string * int list)
33 :    
34 :     datatype spec_ast = SPEC of {head : string list,
35 :     decls : decl_ast list,
36 :     rules : rule_ast list,
37 :     tail : string list}
38 :     end (* BurgAST *)
39 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0