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-3/compiler/ElabData/basics/primopid.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/ElabData/basics/primopid.sig

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

revision 2560, Wed May 16 22:24:49 2007 UTC revision 2561, Thu May 17 03:41:11 2007 UTC
# Line 3  Line 3 
3   * (C) 2001 Lucent Technologies, Bell Labs   * (C) 2001 Lucent Technologies, Bell Labs
4   *)   *)
5    
6    (* PRIMOPID: front-end representation of information identifying
7     * primops (either in variables, or in structures). Replaces
8     * INL_INFO *)
9    
10  signature PRIMOPID =  signature PRIMOPID =
11  sig  sig
12    
# Line 25  Line 29 
29    val ppPrim : primId -> string    val ppPrim : primId -> string
30    val ppStrInfo : strPrimInfo -> unit    val ppStrInfo : strPrimInfo -> unit
31    
32  (*  end (* signature PRIMOPID *)
     val match : inl_info ->  
                 { inl_prim: PrimOp.primop * Types.ty -> 'a,  
                   inl_str: inl_info list -> 'a,  
                   inl_no: unit -> 'a } ->  
                 'a  
   
     val prInfo : inl_info -> string  
   
     val isPrimop : primId -> bool  
     val selStrInfo : inl_info * int -> inl_info  
   
     val isPrimCallcc : inl_info -> bool  
     val isPrimCast : inl_info -> bool  
   
     val mkPrimInfo : PrimOp.primop * Types.ty -> inl_info  
     val mkStrInfo : inl_info list -> inl_info  
     val nullInfo : inl_info  
   
     val primopTy : inl_info -> Types.ty option  
  *)  
 end (* signature INL_INFO *)  

Legend:
Removed from v.2560  
changed lines
  Added in v.2561

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