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/branches/primop-branch-2/src/compiler/ElabData/basics/primopid.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : georgekuan 1954 (* primopid.sig
2 :     *
3 :     * (C) 2001 Lucent Technologies, Bell Labs
4 :     *)
5 :    
6 :     signature PRIMOPID =
7 :     sig
8 :    
9 : macqueen 1955 datatype primId = Prim of string | NonPrim
10 : georgekuan 1954
11 : macqueen 1955 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 : georgekuan 1969 val selStrPrimId : strPrimElem list * int -> strPrimElem list
23 :     val selValPrimFromStrPrim : strPrimElem list * int -> primId
24 : georgekuan 1983
25 : georgekuan 1988 val ppPrim : primId -> string
26 : georgekuan 1983 val ppStrInfo : strPrimInfo -> unit
27 :    
28 : georgekuan 1954 (*
29 :     val match : inl_info ->
30 :     { inl_prim: PrimOp.primop * Types.ty -> 'a,
31 :     inl_str: inl_info list -> 'a,
32 :     inl_no: unit -> 'a } ->
33 :     'a
34 :    
35 :     val prInfo : inl_info -> string
36 :    
37 :     val isPrimop : primId -> bool
38 :     val selStrInfo : inl_info * int -> inl_info
39 :    
40 :     val isPrimCallcc : inl_info -> bool
41 :     val isPrimCast : inl_info -> bool
42 :    
43 :     val mkPrimInfo : PrimOp.primop * Types.ty -> inl_info
44 :     val mkStrInfo : inl_info list -> inl_info
45 :     val nullInfo : inl_info
46 :    
47 :     val primopTy : inl_info -> Types.ty option
48 :     *)
49 :     end (* signature INL_INFO *)

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