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

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltydef.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltydef.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2039, Tue Aug 22 22:54:10 2006 UTC revision 2040, Wed Aug 23 23:44:18 2006 UTC
# Line 39  Line 39 
39   *   *
40   *)   *)
41    
 (** tkind constructors *)  
 val tkc_mono   : tkind  
 val tkc_box    : tkind  
 val tkc_seq    : tkind list -> tkind  
 val tkc_fun    : tkind list * tkind -> tkind  
   
 (** tkind deconstructors *)  
 val tkd_mono   : tkind -> unit  
 val tkd_box    : tkind -> unit  
 val tkd_seq    : tkind -> tkind list  
 val tkd_fun    : tkind -> tkind list * tkind  
   
 (** tkind predicates *)  
 val tkp_mono   : tkind -> bool  
 val tkp_box    : tkind -> bool  
 val tkp_seq    : tkind -> bool  
 val tkp_fun    : tkind -> bool  
   
 (** tkind one-arm switch *)  
 val tkw_mono   : tkind * (unit -> 'a) * (tkind -> 'a) -> 'a  
 val tkw_box    : tkind * (unit -> 'a) * (tkind -> 'a) -> 'a  
 val tkw_seq    : tkind * (tkind list -> 'a) * (tkind -> 'a) -> 'a  
 val tkw_fun    : tkind * (tkind list * tkind -> 'a) * (tkind -> 'a) -> 'a  
   
   
42  (*  (*
43   * FLINT fflag and rflag are used to classify different kinds of monomorphic   * FLINT fflag and rflag are used to classify different kinds of monomorphic
44   * functions and records. As of now, they are roughly equivalent to:   * functions and records. As of now, they are roughly equivalent to:

Legend:
Removed from v.2039  
changed lines
  Added in v.2040

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