Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/FLINT/kernel/primtyc.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (download) (as text) (annotate)
Wed Mar 11 21:00:04 1998 UTC (22 years, 1 month ago) by monnier
File size: 1702 byte(s)
Initial revision
(* Copyright 1996 by AT&T Bell Laboratories *)
(* primtyc.sig *)

signature PRIM_TYC = 
sig

eqtype primtyc

(** the primitive type constructors *)
val ptc_int31  : primtyc 
val ptc_int32  : primtyc 
val ptc_real   : primtyc 
val ptc_string : primtyc 
val ptc_exn    : primtyc 
val ptc_void   : primtyc 
                 
val ptc_array  : primtyc 
val ptc_vector : primtyc 
val ptc_ref    : primtyc 
val ptc_list   : primtyc   (* currently not used *)
val ptc_etag   : primtyc   (* exception tag *)
                 
val ptc_cont   : primtyc 
val ptc_ccont  : primtyc 
val ptc_arrow  : primtyc 
val ptc_option : primtyc 

val ptc_obj    : primtyc 
val ptc_cfun   : primtyc 
val ptc_barray : primtyc 
val ptc_rarray : primtyc 
val ptc_slock  : primtyc 

(*                 
 * val ptc_boxed  : primtyc 
 * val ptc_tgd    : primtyc 
 * val ptc_utgd   : primtyc 
 * val ptc_tnsp   : primtyc 
 * val ptc_dyn    : primtyc  
 *)

(** misc utility functions on primtyc *)
val pt_arity   : primtyc -> int
val pt_print   : primtyc -> string

(** hash-consing each prim tyc *)
val pt_toint   : primtyc -> int
val pt_fromint : int -> primtyc

(** check the boxity of values of each prim tyc *)
val unboxed : primtyc -> bool

val bxupd : primtyc -> bool
val ubxupd : primtyc -> bool

val isvoid : primtyc -> bool

end (* signature PRIM_TYC *)

(*
 * $Log: primtyc.sig,v $
 * Revision 1.2  1997/12/03 21:12:51  dbm
 *   Fix for Word8Array.array equality problem (basis/tests/word8array.sml,
 *   test1).
 *   Added ptc_obj, ptc_cfun, ptc_barray, ptc_rarray, ptc_slock, for use
 *   in basics/basictypes.sml to define objectTycon, etc.
 *
 * Revision 1.1.1.1  1997/01/14  01:38:11  george
 *   Version 109.24
 *
 *)

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