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/opt/lcontract.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/opt/lcontract.sml

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

revision 60, Mon Mar 30 19:25:56 1998 UTC revision 61, Mon Mar 30 19:27:36 1998 UTC
# Line 54  Line 54 
54            in case s            in case s
55                of NONE => ()                of NONE => ()
56                 | SOME _ => add(x, NONE)  (* depth no longer matters *)                 | SOME _ => add(x, NONE)  (* depth no longer matters *)
57    
58                   (* Actually, depth does seem to matter, in one case at least.
59                    * With  datatype equivalence turned on, we get a type error
60                    * in CodeGen/cpscompile/mkRecord.sml.  The two types that
61                    * fail to match are FIXes, and they are identical except
62                    * that one has an argument which is TV(1,0) and the other
63                    * has TV(2,0).  Previously, equivalence of two FIXes was
64                    * always assumed to be true.  Now that we are checking,
65                    * this discrepency pops up.  So there must still be a small
66                    * bug with inlining across different depths.
67                    *
68                    * I've made it so that type errors do not halt compilation,
69                    * so this type error will continue to occur when compiling
70                    * the compiler.  Hopefully Zhong can look at this code
71                    * soon.  --league, 30 March 1998
72                    *)
73  (*  (*
74                 | SOME d => if (d=nd) then add(x, NONE)                 | SOME d => if (d=nd) then add(x, NONE)
75                             else ()                             else ()

Legend:
Removed from v.60  
changed lines
  Added in v.61

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