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

SCM Repository

[smlnj] Diff of /sml/branches/SMLNJ/src/MLRISC/gc-safety/gc-type.sig
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/MLRISC/gc-safety/gc-type.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 474, Wed Nov 10 22:59:58 1999 UTC revision 475, Wed Nov 10 22:59:58 1999 UTC
# Line 4  Line 4 
4  signature GC_TYPE =  signature GC_TYPE =
5  sig  sig
6    
7     structure O : OBJ_TYPE (* client defined object representation type *)     type objtype
8       type gctype
9    
10     type ty = int     val CONST  : int -> gctype                   (* integer constant *)
11       val NONREF : objtype ref -> gctype           (* non-reference value *)
12     datatype gctype =     val REF    : objtype ref -> gctype           (* a reference to a gc object *)
13       CONST of int                 (* integer constant *)     val ADD    : int * gctype * gctype -> gctype (* address arithmetic *)
14     | NONREF of O.objtype ref      (* non-reference value *)     val SUB    : int * gctype * gctype -> gctype (* address arithmetic *)
15     | REF of O.objtype ref         (* a reference, pointer to a gc object *)     val BOT    : gctype
16     | ADD of ty * gctype * gctype  (* address arithmetic + *)     val TOP    : gctype
    | SUB of ty * gctype * gctype  (* address arithmetic - *)  
    | BOT  
    | TOP  
   
    type gcmap = gctype Intmap.intmap  
   
    exception GCTYPE  
17    
18     val toString     : gctype -> string     val toString     : gctype -> string
    val mapToString  : gcmap -> (int -> string)  
   
    (*  
     * Annotations.  
     *)  
    val GCMAP       : gcmap Annotations.property  
                        (* gc-map for a program (per cluster) *)  
    val GCSAFEPOINT : Annotations.flag    (* marks all gcpoints (per block) *)  
19    
20  end  end

Legend:
Removed from v.474  
changed lines
  Added in v.475

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