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

Parent Directory | Revision Log | Patch

	revision 2611, Mon May 5 21:21:12 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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