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/releases/release-110.36/ckit/src/ast-utils/simplifier/simplify-ast-sig.sml
ViewVC logotype

Annotation of /sml/releases/release-110.36/ckit/src/ast-utils/simplifier/simplify-ast-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 930 - (view) (download)

1 : dbm 597 (* Copyright (c) 1998 by Lucent Technologies *)
2 :    
3 :     local
4 :     type tidtab = Tables.tidtab
5 :     type aidtab = Tables.aidtab
6 :     type esctab = unit Pidtab.uidtab
7 :    
8 :     type extDeclExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop)
9 :     AstExt.externalDeclExt
10 :    
11 :     type expExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop)
12 :     AstExt.expressionExt
13 :    
14 :     type stmtExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop)
15 :     AstExt.statementExt
16 :    
17 :     type expSimplifier =
18 :     Ast.expression
19 :     -> {decs:Ast.declaration list,pre:Ast.statement list,exp:Ast.expression}
20 :    
21 :     type stmtSimplifier =
22 :     Ast.statement -> {decs:Ast.declaration list,stmts:Ast.statement list}
23 :     in
24 :    
25 :     signature SIMPLIFYASTEXT =
26 :     sig
27 :    
28 :     val simplifyExtDeclExt :
29 :     (tidtab * aidtab * aidtab)
30 :     -> (expSimplifier * stmtSimplifier)
31 :     -> extDeclExt
32 :     -> Ast.coreExternalDecl
33 :    
34 :     val simplifyExpExt :
35 :     (tidtab * aidtab * aidtab)
36 :     -> (expSimplifier * stmtSimplifier)
37 :     -> expExt
38 :     -> {decs:Ast.declaration list, pre:Ast.statement list, coreExp:Ast.coreExpression}
39 :    
40 :     val simplifyStmtExt :
41 :     (tidtab * aidtab * aidtab)
42 :     -> (expSimplifier * stmtSimplifier)
43 :     -> stmtExt
44 :     -> {decs:Ast.declaration list, coreStmt:Ast.coreStatement}
45 :    
46 :     end (* signature SIMPLIFYASTEXT *)
47 :    
48 :    
49 :     signature SIMPLIFYAST =
50 :     sig
51 :    
52 :     val simplifyAst : Ast.ast * tidtab * aidtab * aidtab (* opaidtab *)
53 :     -> {ast: Ast.ast, escapetab: esctab}
54 :    
55 :     end (* signature SIMPLIFYAST *)
56 :    
57 :     end (* local *)

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