Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

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 215, Wed Feb 17 14:17:40 1999 UTC revision 216, Fri Feb 26 12:55:26 1999 UTC
# Line 250  Line 250 
250     | (DISPOSE | MKSPECIAL | DEFLVAR | MARKEXN) => false     | (DISPOSE | MKSPECIAL | DEFLVAR | MARKEXN) => false
251     | _ => true     | _ => true
252    
253  (* should return more than just a boolean *)  (* should return more than just a boolean:
254     * {Store,Continuation}-{read,write} *)
255  val effect =  val effect =
256   fn ARITH{overflow,...} => overflow   fn ARITH{overflow,...} => overflow
257    | (INLRSHIFT _ | INLRSHIFTL _) => false    | (INLRSHIFT _ | INLRSHIFTL _) => false
# Line 260  Line 261 
261    | (BOXED | UNBOXED) => false    | (BOXED | UNBOXED) => false
262    | (LENGTH | OBJLENGTH) => false    | (LENGTH | OBJLENGTH) => false
263    | (CAST | WCAST) => false    | (CAST | WCAST) => false
   | (MAKEREF | DEREF) => false  
264    | (INLMIN | INLMAX | INLNOT | INLCOMPOSE) => false    | (INLMIN | INLMAX | INLNOT | INLCOMPOSE) => false
265    | (INL_ARRAY | INL_VECTOR | INL_MONOARRAY _ | INL_MONOVECTOR _) => false    | (INL_ARRAY | INL_VECTOR | INL_MONOARRAY _ | INL_MONOVECTOR _) => false
266    | (WRAP | UNWRAP) => false    | (WRAP | UNWRAP) => false
# Line 278  Line 278 
278     | _ => false     | _ => false
279    
280  end  (* structure PrimOp *)  end  (* structure PrimOp *)
   
   
 (*  
  * $Log$  
  *)  

Legend:
Removed from v.215  
changed lines
  Added in v.216

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