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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 591 - (view) (download) (as text)
Original Path: sml/trunk/src/MLRISC/mltree/mltree-utils.sig

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 :     val show : (string list * string list) -> T.printer
32 :    
33 :     val stmToString : T.stm -> string
34 :     val rexpToString : T.rexp -> string
35 :     val fexpToString : T.fexp -> string
36 :     val ccexpToString : T.ccexp -> string
37 :    
38 :     end

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