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/gc-safety/gc-type.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/gc-safety/gc-type.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 475 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/gc-safety/gc-type.sig

1 : monnier 427 (*
2 :     * Abstract interface for GC types.
3 :     *)
4 :     signature GC_TYPE =
5 :     sig
6 :    
7 : monnier 475 type objtype
8 :     type gctype
9 : monnier 427
10 : monnier 475 val CONST : int -> gctype (* integer constant *)
11 :     val NONREF : objtype ref -> gctype (* non-reference value *)
12 :     val REF : objtype ref -> gctype (* a reference to a gc object *)
13 :     val ADD : int * gctype * gctype -> gctype (* address arithmetic *)
14 :     val SUB : int * gctype * gctype -> gctype (* address arithmetic *)
15 :     val BOT : gctype
16 :     val TOP : gctype
17 : monnier 427
18 : monnier 475 val toString : gctype -> string
19 : monnier 427
20 :     end

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