Annotation of /sml/branches/SMLNJ/src/compiler/FLINT/kernel/primtyc.sig

Parent Directory | Revision Log

---

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

1 :	monnier	245	(* Copyright 1996 by AT&T Bell Laboratories *)
2 :			(* primtyc.sig *)
3 :
4 :			signature PRIM_TYC =
5 :			sig
6 :
7 :			eqtype primtyc
8 :
9 :			(** the primitive type constructors *)
10 :			val ptc_int31 : primtyc
11 :			val ptc_int32 : primtyc
12 :			val ptc_real : primtyc
13 :			val ptc_string : primtyc
14 :			val ptc_exn : primtyc
15 :			val ptc_void : primtyc
16 :
17 :			val ptc_array : primtyc
18 :			val ptc_vector : primtyc
19 :			val ptc_ref : primtyc
20 :			val ptc_list : primtyc (* currently not used *)
21 :			val ptc_etag : primtyc (* exception tag *)
22 :
23 :			val ptc_cont : primtyc
24 :			val ptc_ccont : primtyc
25 :			val ptc_arrow : primtyc
26 :			val ptc_option : primtyc
27 :
28 :			val ptc_obj : primtyc
29 :			val ptc_cfun : primtyc
30 :			val ptc_barray : primtyc
31 :			val ptc_rarray : primtyc
32 :			val ptc_slock : primtyc
33 :
34 :			(*
35 :			* val ptc_boxed : primtyc
36 :			* val ptc_tgd : primtyc
37 :			* val ptc_utgd : primtyc
38 :			* val ptc_tnsp : primtyc
39 :			* val ptc_dyn : primtyc
40 :			*)
41 :
42 :			(** misc utility functions on primtyc *)
43 :			val pt_arity : primtyc -> int
44 :			val pt_print : primtyc -> string
45 :
46 :			(** hash-consing each prim tyc *)
47 :			val pt_toint : primtyc -> int
48 :			val pt_fromint : int -> primtyc
49 :
50 :			(** check the boxity of values of each prim tyc *)
51 :			val unboxed : primtyc -> bool
52 :
53 :			val bxupd : primtyc -> bool
54 :			val ubxupd : primtyc -> bool
55 :
56 :			val isvoid : primtyc -> bool
57 :
58 :			end (* signature PRIM_TYC *)
59 :

---

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