Diff of /branches/charisee/src/compiler/ein/printer.sml

Parent Directory | Revision Log | Patch

	revision 2583, Thu Apr 10 19:50:28 2014 UTC	revision 2584, Tue Apr 15 03:22:58 2014 UTC
#	Line 28	Line 28
28	| E.Tensor(id, alpha) =>String.concat[" T",Int.toString(id),"_",handleAlpha alpha]	| E.Tensor(id, alpha) =>String.concat[" T",Int.toString(id),"_",handleAlpha alpha]
29	| E.Field(id, []) =>String.concat[" F",Int.toString(id)]	| E.Field(id, []) =>String.concat[" F",Int.toString(id)]
30	| E.Field(id, alpha) =>String.concat[" F",Int.toString(id),"_",handleAlpha alpha]	| E.Field(id, alpha) =>String.concat[" F",Int.toString(id),"_",handleAlpha alpha]
31	| E.Krn(tid,[],pos) =>String.concat[" h ",Int.toString(tid),"[",  (printbody pos),"]"]	| E.Krn(tid,[],pos) =>String.concat[" H ",Int.toString(tid),"[",  (printbody pos),"]"]
32	| E.Krn(tid,betas,pos) => String.concat[" h",Int.toString(tid),"^{", String.concat (List.map handleBeta betas),"} [",(printbody pos),"]"]	| E.Krn(tid,betas,pos) => String.concat[" H",Int.toString(tid),"^{", String.concat (List.map handleBeta betas),"} [",(printbody pos),"]"]
33	| E.Delta(ix) =>  handleBeta ix	| E.Delta(ix) =>  handleBeta ix
34	| E.Value(ix)=> String.concat["_",Int.toString(ix),"_"]	| E.Value(ix)=> String.concat["_",Int.toString(ix),"_"]
35	| E.Epsilon(ix, jx, kx) => String.concat["E_",Int.toString(ix), Int.toString(jx), Int.toString(kx)]	| E.Epsilon(ix, jx, kx) => String.concat["E_",Int.toString(ix), Int.toString(jx), Int.toString(kx)]
#	Line 41	Line 41
41	| E.Div(e1,e2) => String.concat ["(",printbody(e1),"/ ",printbody (e2), ")"]	| E.Div(e1,e2) => String.concat ["(",printbody(e1),"/ ",printbody (e2), ")"]
42	| E.Partial alpha => String.concat["d/dx_",handleAlpha alpha]	| E.Partial alpha => String.concat["d/dx_",handleAlpha alpha]
43	| E.Apply(e1, e2)=> String.concat [ printbody(e1),"@{", printbody(e2),"} "]	| E.Apply(e1, e2)=> String.concat [ printbody(e1),"@{", printbody(e2),"} "]
44	| E.Conv(fid,alpha, tid ,[])=> String.concat["|V",Int.toString(fid),"_{",handleAlpha alpha, "}★h",Int.toString(tid),"|"]	| E.Conv(fid,alpha, tid ,[])=> String.concat["|v",Int.toString(fid),"_{",handleAlpha alpha, "}★h",Int.toString(tid),"|"]
45	| E.Conv(fid,alpha, tid, beta)=> String.concat["|V",Int.toString(fid),"_{",handleAlpha alpha, "}★d/dx_{",handleAlpha beta,"}h",Int.toString(tid),"|"]	| E.Conv(fid,alpha, tid, beta)=> String.concat["|v",Int.toString(fid),"_{",handleAlpha alpha, "}★d/dx_{",handleAlpha beta,"}h",Int.toString(tid),"|"]
46	| E.Probe (e1,e2)=> String.concat ["",printbody(e1), "","[", printbody(e2),"]"]	| E.Probe (e1,e2)=> String.concat ["",printbody(e1), "","[", printbody(e2),"]"]
47	| E.Img (fid,alpha,pos)=> String.concat [" V", Int.toString(fid),"_",handleAlpha alpha,"[",	| E.Img (fid,alpha,pos)=> String.concat [" V", Int.toString(fid),"_",handleAlpha alpha,"[",
48	(String.concatWith "," (List.map printbody pos)),"]"]	(String.concatWith "," (List.map printbody pos)),"]"]
#	Line 63	Line 63
63	| Param(E.KRN::param, i)= String.concat[Int.toString(i), ":KRN ",Param(param, i+1)]	| Param(E.KRN::param, i)= String.concat[Int.toString(i), ":KRN ",Param(param, i+1)]
64	| Param(_,_)=""	| Param(_,_)=""
65
66	val str=String.concat ["" ,Param(params, 0)," <",printbody(body),">"," _{",Index(index,0),"}  "]	val str=String.concat ["\n" ,Param(params, 0)," <",printbody(body),">"," _{",Index(index,0),"}  \n "]
67	in	in
68	str	str
69	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2583   changed lines   Added in v.2584

---

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