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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/mid-to-low/check-ein.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/mid-to-low/check-ein.sml

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

revision 2614, Fri May 9 19:23:07 2014 UTC revision 2615, Wed May 14 00:22:49 2014 UTC
# Line 30  Line 30 
30      val mapp=mkMapp(size,empty)      val mapp=mkMapp(size,empty)
31    
32      fun mkSumMapp([],mapp)=mapp      fun mkSumMapp([],mapp)=mapp
33      | mkSumMapp((E.V n,_,_)::ns,mapp)=let      | mkSumMapp(e1::ns,mapp)=(case e1
34            of (E.V n,_,_)=>let
35          val dict=insert(n, 0) mapp          val dict=insert(n, 0) mapp
36          in mkSumMapp(ns,dict) end          in mkSumMapp(ns,dict) end
37            | _ =>raise Fail"non-variable index in summation")
38    
39    
40      fun checkIndex([],dict)=dict      fun checkIndex([],dict)=dict

Legend:
Removed from v.2614  
changed lines
  Added in v.2615

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