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/FLINT/kernel/primop.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/primop.sml

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

revision 622, Wed Apr 19 22:47:11 2000 UTC revision 623, Thu Apr 20 17:24:37 2000 UTC
# Line 244  Line 244 
244    | prPrimop (SUBSCRIPT_RAW64) = "subscriptraw64"    | prPrimop (SUBSCRIPT_RAW64) = "subscriptraw64"
245    
246    
 val purePrimop =  
   fn DEREF => false  
    | ASSIGN => false  
    | SUBSCRIPT => false  
    | BOXEDUPDATE => false  
    | UNBOXEDUPDATE => false  
    | UPDATE => false  
    | CAPTURE => false  
    | CALLCC => false  
    | ISOLATE => false  
    | ARITH{overflow,...} => not overflow  
    | NUMSUBSCRIPT{immutable,...} => immutable  
    | NUMUPDATE _ => false  
    | GETSPECIAL => false  
    | (SETSPECIAL | SETHDLR | SETVAR | SETPSEUDO | SETMARK) => false  
    | THROW => false  
    | (DISPOSE | MKSPECIAL | DEFLVAR | MARKEXN) => false  
    | _ => true  
   
247  (* should return more than just a boolean:  (* should return more than just a boolean:
248   * {Store,Continuation}-{read,write} *)   * {Store,Continuation}-{read,write} *)
249  val effect =  val effect =

Legend:
Removed from v.622  
changed lines
  Added in v.623

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