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
[smlnj] / 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 825, Wed May 9 15:59:40 2001 UTC revision 826, Wed May 9 20:32:17 2001 UTC
# Line 1019  Line 1019 
1019             (click "T"; INT 0)             (click "T"; INT 0)
1020       | (P.real{fromkind=P.INT 31,tokind=P.FLOAT 64}, [INT i]) =>       | (P.real{fromkind=P.INT 31,tokind=P.FLOAT 64}, [INT i]) =>
1021             (REAL(Int.toString i ^ ".0"))  (* isn't this cool? *)             (REAL(Int.toString i ^ ".0"))  (* isn't this cool? *)
1022       | (P.funwrap,[VAR v]) =>       | (P.funwrap,[x as VAR v]) =>
1023            (case get(v) of {info=WRPinfo(P.fwrap,u),...} => (click "U"; u)            (case get(v) of {info=WRPinfo(P.fwrap,u),...} =>
1024                          | _ => raise ConstFold)                              (click "U"; use_less x; u)
1025       | (P.fwrap,[VAR v]) =>                          | _ => raise ConstFold)
1026            (case get(v) of {info=WRPinfo(P.funwrap,u),...} => (click "U"; u)       | (P.fwrap,[x as VAR v]) =>
1027                          | _ => raise ConstFold)            (case get(v) of {info=WRPinfo(P.funwrap,u),...} =>
1028       | (P.iunwrap,[VAR v]) =>                            (click "U"; use_less x; u)
1029            (case get(v) of {info=WRPinfo(P.iwrap,u),...} => (click "U"; u)                          | _ => raise ConstFold)
1030                          | _ => raise ConstFold)       | (P.iunwrap,[x as VAR v]) =>
1031       | (P.iwrap,[VAR v]) =>            (case get(v) of {info=WRPinfo(P.iwrap,u),...} =>
1032            (case get(v) of {info=WRPinfo(P.iunwrap,u),...} => (click "U"; u)                            (click "U"; use_less x; u)
1033                          | _ => raise ConstFold)                          | _ => raise ConstFold)
1034       | (P.i32unwrap,[VAR v]) =>       | (P.iwrap,[x as VAR v]) =>
1035            (case get(v) of {info=WRPinfo(P.i32wrap,u),...} => (click "U"; u)            (case get(v) of {info=WRPinfo(P.iunwrap,u),...} =>
1036                          | _ => raise ConstFold)                            (click "U"; use_less x; u)
1037       | (P.i32wrap,[VAR v]) =>                          | _ => raise ConstFold)
1038            (case get(v) of {info=WRPinfo(P.i32unwrap,u),...} => (click "U"; u)       | (P.i32unwrap,[x as VAR v]) =>
1039              (case get(v) of {info=WRPinfo(P.i32wrap,u),...} =>
1040                              (click "U"; use_less x; u)
1041                            | _ => raise ConstFold)
1042         | (P.i32wrap,[x as VAR v]) =>
1043              (case get(v) of {info=WRPinfo(P.i32unwrap,u),...} =>
1044                              (click "U"; use_less x; u)
1045                          | _ => raise ConstFold)                          | _ => raise ConstFold)
1046       | _ => raise ConstFold       | _ => raise ConstFold
1047    
Legend:
Removed from v.825  
changed lines
  Added in v.826
root@smlnj-gforge.cs.uchicago.edu
 ViewVC Help
Powered by ViewVC 1.0.0  
Powered By FusionForge