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/cpsopt/contract.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/cpsopt/contract.sml

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

revision 149, Sun Oct 11 17:44:55 1998 UTC revision 251, Mon Apr 19 02:55:26 1999 UTC
# Line 462  Line 462 
462          | (OFFinfo _) => P.boxedupdate          | (OFFinfo _) => P.boxedupdate
463          | _ => P.update          | _ => P.update
464          (* end case *))          (* end case *))
465      | setter (P.assign, [_, INT _]) = P.unboxedassign
466    | setter (i, _) = i    | setter (i, _) = i
467    
468  fun sameLvar(lvar, VAR lv) = lv = lvar  fun sameLvar(lvar, VAR lv) = lv = lvar
# Line 535  Line 536 
536                                       of {info=RECinfo vl,...} =>                                       of {info=RECinfo vl,...} =>
537                                           (let val z = #1(List.nth(vl,i))                                           (let val z = #1(List.nth(vl,i))
538                                                val z' = ren z                                                val z' = ren z
539                                            in if (!Control.FLINT.liftLiterals)                                            in
540                                               then (case z'                                               case z'
541                                                      of REAL _ => NONE                                                      of REAL _ => NONE
542                                                       | _  => SOME z')                                                  | _  => SOME z'
                                              else SOME z'  
543                                            end handle Subscript => NONE)                                            end handle Subscript => NONE)
544                                        | _ => NONE)                                        | _ => NONE)
545                                 | _ => NONE)                                 | _ => NONE)
# Line 1043  Line 1043 
1043  end (* toplevel local *)  end (* toplevel local *)
1044  end (* functor Contract *)  end (* functor Contract *)
1045    
   
 (*  
  * $Log$  
  *)  

Legend:
Removed from v.149  
changed lines
  Added in v.251

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