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

Diff of /sml/branches/primop-branch/src/compiler/Semant/basics/inlinfo.sml

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

revision 1474, Sun Apr 4 21:29:18 2004 UTC revision 1475, Fri Apr 9 19:05:33 2004 UTC
# Line 2  Line 2 
2   *   *
3   * (C) 2001 Lucent Technologies, Bell Labs   * (C) 2001 Lucent Technologies, Bell Labs
4   *)   *)
5    
6    (* imports PrimOp [FLINT] *)
7    
8  structure InlInfo : INL_INFO = struct  structure InlInfo : INL_INFO = struct
9    
10      fun bug s = ErrorMsg.impossible ("InlInfo: " ^ s)      fun bug s = ErrorMsg.impossible ("InlInfo: " ^ s)
# Line 43  Line 46 
46      fun isPrimCallcc (II.Info (E ((PrimOp.CALLCC | PrimOp.CAPTURE), _))) = true      fun isPrimCallcc (II.Info (E ((PrimOp.CALLCC | PrimOp.CAPTURE), _))) = true
47        | isPrimCallcc _ = false        | isPrimCallcc _ = false
48    
49        (* tests whether primop is cast -- should be named isCast *)
50      fun pureInfo (II.Info (E (p, _))) =      fun pureInfo (II.Info (E (p, _))) =
51          let fun isPure PrimOp.CAST = true          let fun isPure PrimOp.CAST = true
52                | isPure _ = false                | isPure _ = false

Legend:
Removed from v.1474  
changed lines
  Added in v.1475

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