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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 473 signature SMLGCTYPE =
2 :     sig
3 :    
4 :     type objtype = CPS.cty
5 :    
6 :     datatype gctype =
7 :     CONST of int (* integer constant *)
8 :     | NONREF of objtype ref (* non-reference value *)
9 :     | REF of objtype ref (* a reference, pointer to a gc object *)
10 :     | ADD of int * gctype * gctype (* address arithmetic + *)
11 :     | SUB of int * gctype * gctype (* address arithmetic - *)
12 :     | BOT
13 :     | TOP
14 :    
15 :     val toString : gctype -> string
16 :    
17 :     end
18 :    

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