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 1369, Sat Sep 13 23:11:20 2003 UTC revision 1370, Mon Sep 15 03:38:25 2003 UTC
# Line 6  Line 6 
6    
7      fun bug s = ErrorMsg.impossible ("InlInfo: " ^ s)      fun bug s = ErrorMsg.impossible ("InlInfo: " ^ s)
8    
9      exception E of PrimOp.primop * Types.ty      exception E of PrimOp.primop   (* PRIMOP *)
10    
11      type inl_info = II.ii      type inl_info = II.ii
12    
# Line 23  Line 23 
23    
24      fun prInfo i = let      fun prInfo i = let
25          fun loop (i, acc) =          fun loop (i, acc) =
26              match i { inl_prim = fn (p, _) => PrimOp.prPrimop p :: acc,              match i { inl_prim = fn p => PrimOp.prPrimop p :: acc,
27                        inl_no = fn () => "<InlNo>" :: acc,                        inl_no = fn () => "<InlNo>" :: acc,
28                        inl_str = fn [] => "{}" :: acc                        inl_str = fn [] => "{}" :: acc
29                                   | h::t =>                                   | h::t =>
# Line 40  Line 40 
40    
41      val isPrimInfo = II.isSimple      val isPrimInfo = II.isSimple
42    
43      fun isPrimCallcc (II.Info (E ((PrimOp.CALLCC | PrimOp.CAPTURE), _))) = true      fun isPrimCallcc (II.Info (E (PrimOp.CALLCC | PrimOp.CAPTURE))) = true
44        | isPrimCallcc _ = false        | isPrimCallcc _ = false
45    
46      fun pureInfo (II.Info (E (p, _))) =      fun pureInfo (II.Info (E p)) =
47          let fun isPure PrimOp.CAST = true          let fun isPure PrimOp.CAST = true
48                | isPure _ = false                | isPure _ = false
49          (* val isPure = PrimOp.purePrimop *)          (* val isPure = PrimOp.purePrimop *)

Legend:
Removed from v.1369  
changed lines
  Added in v.1370

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