Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/IL/check-il-fn.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/IL/check-il-fn.sml

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

revision 2388, Sun Jun 16 17:02:02 2013 UTC revision 2389, Sun Jun 16 18:45:16 2013 UTC
# Line 169  Line 169 
169                        then if Ty.same(V.ty y, ty)                        then if Ty.same(V.ty y, ty)
170                          then ()                          then ()
171                          else tyError (V.ty y, ty)                          else tyError (V.ty y, ty)
172                        else errFn [S "invalid ", S(IL.assignToString(y, rhs))]                        else errFn [S "invalid ", S(IL.assignToString(y, rhs))])
173                  | EINAPP(exp,ard) => ()                  | EINAPP(exp,ard) => ()
   
                     (* end case *))  
   
   
   
174                (* end case *);                (* end case *);
175                VSet.add(bvs, y)                VSet.add(bvs, y)
176              end              end

Legend:
Removed from v.2388  
changed lines
  Added in v.2389

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