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/MLRISC/mltree/mltree-utils.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/mltree/mltree-utils.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 601 - (view) (download) (as text)

1 : leunga 591 (*
2 :     * Common operations on MLTREE
3 :     *
4 :     * -- Allen
5 :     *)
6 :     signature MLTREE_UTILS =
7 :     sig
8 :    
9 :     structure T : MLTREE
10 :    
11 :     (*
12 :     * Hashing
13 :     *)
14 :     val hashStm : T.stm -> word
15 :     val hashRexp : T.rexp -> word
16 :     val hashFexp : T.fexp -> word
17 :     val hashCCexp : T.ccexp -> word
18 :    
19 :     (*
20 :     * Equality
21 :     *)
22 :     val eqStm : T.stm * T.stm -> bool
23 :     val eqRexp : T.rexp * T.rexp -> bool
24 :     val eqFexp : T.fexp * T.fexp -> bool
25 :     val eqCCexp : T.ccexp * T.ccexp -> bool
26 :     val eqMlriscs : T.mlrisc list * T.mlrisc list -> bool
27 :    
28 :     (*
29 :     * Pretty printing
30 :     *)
31 : leunga 601 val show : {def : int -> string,
32 :     use : int -> string,
33 :     regionDef : T.Region.region -> string,
34 :     regionUse : T.Region.region -> string
35 :     } -> T.printer
36 : leunga 591
37 :     val stmToString : T.stm -> string
38 :     val rexpToString : T.rexp -> string
39 :     val fexpToString : T.fexp -> string
40 :     val ccexpToString : T.ccexp -> string
41 :    
42 :     end

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