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/copy/copy-ast-sig.sml
ViewVC logotype

Annotation of /sml/releases/release-110.36/ckit/src/ast-utils/copy/copy-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 aidctx = Tables.aidtab
5 :     type 'a copier = aidctx -> 'a -> 'a
6 :    
7 :     type 'a extCopier = (Ast.expression copier * Ast.statement copier * Ast.externalDecl copier) -> 'a copier
8 :    
9 :     type expExt =
10 :     (Ast.expression,Ast.statement,Ast.binop,Ast.unop) AstExt.expressionExt
11 :     type stmtExt =
12 :     (Ast.expression,Ast.statement,Ast.binop,Ast.unop) AstExt.statementExt
13 :     type extDeclExt =
14 :     (Ast.expression,Ast.statement,Ast.binop,Ast.unop) AstExt.externalDeclExt
15 :     in
16 :    
17 :     signature COPYASTEXT = sig
18 :     val copyExprExt : expExt extCopier
19 :     val copyStmtExt : stmtExt extCopier
20 :     val copyExtDeclExt : extDeclExt extCopier
21 :     end
22 :    
23 :     signature COPYAST = sig
24 :     val copyAid : Aid.uid copier
25 :     val copyAst : Ast.ast copier
26 :     val copyExtDecl : Ast.externalDecl copier
27 :     val copyCoreExtDecl : Ast.coreExternalDecl copier
28 :     val copyDecl : Ast.declaration copier
29 :     val copyStmt : Ast.statement copier
30 :     val copyCoreStmt : Ast.coreStatement copier
31 :     val copyExpr : Ast.expression copier
32 :     val copyCoreExpr : Ast.coreExpression copier
33 :     val copyInitExpr : Ast.initExpression copier
34 :     end
35 :    
36 :     end

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