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/trunk/src/compiler/Semant/basics/inlinfo.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/basics/inlinfo.sml

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

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 772, Thu Jan 4 15:36:41 2001 UTC
# Line 5  Line 5 
5  sig  sig
6    
7    datatype inl_info    datatype inl_info
8      = INL_PRIM of PrimOp.primop   * Types.ty option      = INL_PRIM of PrimOp.primop * Types.ty
9  (*  | INL_LEXP of FLINT.prog * Types.ty option *)  (*  | INL_LEXP of FLINT.prog * Types.ty option *)
10      | INL_PATH of Access.access   * Types.ty option      | INL_PATH of Access.access * Types.ty option (* still used anywhere? *)
11      | INL_STR  of inl_info list      | INL_STR  of inl_info list
12      | INL_NO      | INL_NO
13    
# Line 18  Line 18 
18    val isPrimCallcc : inl_info -> bool    val isPrimCallcc : inl_info -> bool
19    val pureInfo : inl_info -> bool    val pureInfo : inl_info -> bool
20    
21    val mkPrimInfo : PrimOp.primop * Types.ty option -> inl_info    val mkPrimInfo : PrimOp.primop * Types.ty -> inl_info
22    val mkAccInfo : Access.access * Types.ty option -> inl_info    val mkAccInfo : Access.access * Types.ty option -> inl_info
23    val mkStrInfo : inl_info list -> inl_info    val mkStrInfo : inl_info list -> inl_info
24    
# Line 52  Line 52 
52   * structure with proper inlining information for each of its components.   * structure with proper inlining information for each of its components.
53   *)   *)
54  datatype inl_info  datatype inl_info
55    = INL_PRIM of PO.primop * T.ty option    = INL_PRIM of PO.primop * T.ty
56  (*| INL_LEXP of FLINT.prog * T.ty option   (* should be lty option *) *)  (*| INL_LEXP of FLINT.prog * T.ty option   (* should be lty option *) *)
57    | INL_PATH of A.access * T.ty option    | INL_PATH of A.access * T.ty option
58    | INL_STR of inl_info list    | INL_STR of inl_info list

Legend:
Removed from v.651  
changed lines
  Added in v.772

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