Annotation of /sml/trunk/src/MLRISC/gc-safety/gc-map.sml

Parent Directory | Revision Log

---

Revision 473 - (view) (download)

1 :	monnier	473	functor GCMap(GC : GC_TYPE) : GC_MAP =
2 :			struct
3 :
4 :			structure GC = GC
5 :			exception GCMap
6 :			type gcmap = GC.gctype Intmap.intmap
7 :
8 :			val GCMAP = Annotations.new NONE : gcmap Annotations.property
9 :			val GCSAFEPOINT = Annotations.newFlag ""
10 :
11 :			fun toString gcmap =
12 :			let val lookup = Intmap.map gcmap
13 :			fun f r = "{"^GC.toString(lookup r)^"}" handle _ => "{?}"
14 :			in f end
15 :
16 :			end

---

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