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/trunk/src/compiler/CodeGen/cpscompile/smlnj-gctype.sig
ViewVC logotype

View of /sml/trunk/src/compiler/CodeGen/cpscompile/smlnj-gctype.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 498 - (download) (as text) (annotate)
Tue Dec 7 15:44:50 1999 UTC (19 years, 10 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/CodeGen/cpscompile/smlnj-gctype.sig
File size: 842 byte(s)
version 110.25
signature SMLGCTYPE =
sig

   structure CPS : CPS
   type objtype = CPS.cty 
  
   datatype gctype =
     CONST of int                  (* integer constant *)
   | NONREF of objtype ref         (* non-reference value *)
   | REF of objtype ref            (* a reference, pointer to a gc object *)
   | ADD of int * gctype * gctype  (* address arithmetic + *)
   | SUB of int * gctype * gctype  (* address arithmetic - *)
   | BOT
   | TOP

   val ==       : gctype * gctype -> bool
   val join     : gctype * gctype -> gctype
   val meet     : gctype * gctype -> gctype

   val toString : gctype -> string

   (*
    * Primitive types 
    *)
   val I31      : gctype  (* tagged integers *)
   val I32      : gctype  (* untagged integers *)
   val REAL64   : gctype  (* unboxed real *)
   val PTR      : gctype  (* tagged ML objects *)

end


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