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

SCM Repository

[smlnj] View of /sml/releases/release-110.36/ckit/src/ast-utils/simplifier/simplify-ast-sig.sml
ViewVC logotype

View 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 - (download) (annotate)
Tue Sep 18 15:48:42 2001 UTC (20 years, 2 months ago)
File size: 1536 byte(s)
This commit was manufactured by cvs2svn to create tag
'release-110.36'.
(* Copyright (c) 1998 by Lucent Technologies *)

local 
  type tidtab = Tables.tidtab
  type aidtab = Tables.aidtab
  type esctab = unit Pidtab.uidtab

  type extDeclExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop)
                   AstExt.externalDeclExt

  type expExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop)
                AstExt.expressionExt 

  type stmtExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop) 
                 AstExt.statementExt 

  type expSimplifier =
       Ast.expression
       -> {decs:Ast.declaration list,pre:Ast.statement list,exp:Ast.expression}

  type stmtSimplifier =
       Ast.statement -> {decs:Ast.declaration list,stmts:Ast.statement list}
in

signature SIMPLIFYASTEXT =
sig

  val simplifyExtDeclExt  :
      (tidtab * aidtab * aidtab) 
      -> (expSimplifier * stmtSimplifier)
      -> extDeclExt
      -> Ast.coreExternalDecl

  val simplifyExpExt  :
      (tidtab * aidtab * aidtab) 
      -> (expSimplifier * stmtSimplifier)
      -> expExt
      -> {decs:Ast.declaration list, pre:Ast.statement list, coreExp:Ast.coreExpression}

  val simplifyStmtExt :
      (tidtab * aidtab * aidtab) 
      -> (expSimplifier * stmtSimplifier)
      -> stmtExt
      -> {decs:Ast.declaration list, coreStmt:Ast.coreStatement}

end (* signature SIMPLIFYASTEXT *)


signature SIMPLIFYAST =
sig

  val simplifyAst : Ast.ast * tidtab * aidtab * aidtab (* opaidtab *)
                    -> {ast: Ast.ast, escapetab: esctab}

end (* signature SIMPLIFYAST *)

end (* local *)

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