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

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

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

revision 1954, Thu Jul 6 16:35:38 2006 UTC revision 1955, Thu Jul 6 20:10:33 2006 UTC
# Line 6  Line 6 
6  signature PRIMOPID =  signature PRIMOPID =
7  sig  sig
8    
9      type primId    datatype primId = Prim of string | NonPrim
     type strElemPrimIds  
10    
11      datatype strPrimElem
12        = PrimE of primId
13        | StrE of strPrimInfo
14    
15      withtype strPrimInfo = strPrimElem list
16    
17      val isPrimop : primId -> bool
18    
19      val isPrimCallcc : primId -> bool
20      val isPrimCast : primId -> bool
21    
22      val selStrPrimId : strPrimInfo * int -> strPrimElem
23  (*  (*
24      val match : inl_info ->      val match : inl_info ->
25                  { inl_prim: PrimOp.primop * Types.ty -> 'a,                  { inl_prim: PrimOp.primop * Types.ty -> 'a,

Legend:
Removed from v.1954  
changed lines
  Added in v.1955

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