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/FLINT/kernel/primtyc.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/FLINT/kernel/primtyc.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 903 (* 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