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/branches/idlbasis-devel/src/MLRISC/Tools/MDL/mdl-rtl-tools.sig
ViewVC logotype

View of /sml/branches/idlbasis-devel/src/MLRISC/Tools/MDL/mdl-rtl-tools.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 848 - (download) (as text) (annotate)
Mon Jun 25 19:29:29 2001 UTC (18 years, 11 months ago)
File size: 601 byte(s)
This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.
(*
 * Some simple utilities on transforming RTLs
 *)
signature MDL_RTL_TOOLS =
sig
   structure RTL : MLTREE_RTL 
   structure Ast : MDL_AST

   (* Simplify an RTL *)
   val simplify : RTL.rtl -> RTL.rtl
     
   (* Translate an rtl into an expression *)
   val rtlToExp : RTL.rtl -> Ast.exp

   (* Translate an rtl into a pattern *)
   val rtlToPat : RTL.rtl -> Ast.pat

   (* Translate an rtl into an rtl construction function  *)
   val rtlToFun : Ast.id * Ast.id list * RTL.rtl -> Ast.decl

   (* create code to generate a new operator *)
   val createNewOp : RTL.T.Basis.misc_op -> Ast.decl

end

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