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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/ein/printer.sml
ViewVC logotype

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

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

revision 3489, Tue Dec 8 20:49:31 2015 UTC revision 3541, Mon Jan 4 18:03:27 2016 UTC
# Line 10  Line 10 
10      fun iTos e=Int.toString e      fun iTos e=Int.toString e
11      fun intList l = String.concatWith "," (List.map iTos l)      fun intList l = String.concatWith "," (List.map iTos l)
12      fun handleIndex e= (case e      fun handleIndex e= (case e
13          of E.C(cx,true)=> String.concat["'",iTos(cx),"'"]          of E.C(cx,true)=> String.concat["C(",iTos(cx),")"]
14          | E.C(cx,false)=> String.concat["S(",iTos(cx),")"]          | E.C(cx,false)=> String.concat["S(",iTos(cx),")"]
15          | E.V(ix)=> iTos(ix)          | E.V(ix)=> iTos(ix)
16      (*end case*))      (*end case*))
# Line 45  Line 45 
45          | E.Img (fid,alpha,pos)=> String.concat [" V", iTos(fid),"_",handleAlpha alpha,"[", (String.concatWith "," (List.map printbody pos)),"]"]          | E.Img (fid,alpha,pos)=> String.concat [" V", iTos(fid),"_",handleAlpha alpha,"[", (String.concatWith "," (List.map printbody pos)),"]"]
46          | E.Krn(tid,[],pos) =>String.concat[" H ",iTos(tid),"[",  (printbody pos),"]"]          | E.Krn(tid,[],pos) =>String.concat[" H ",iTos(tid),"[",  (printbody pos),"]"]
47          | E.Krn(tid,betas,pos) => String.concat[" H",iTos(tid),"^{", String.concat (List.map handleBeta betas),"} [",(printbody pos),"]"]          | E.Krn(tid,betas,pos) => String.concat[" H",iTos(tid),"^{", String.concat (List.map handleBeta betas),"} [",(printbody pos),"]"]
   
48          | E.Sum ([(v,_,_)],e1)=>String.concat[" Σ_",handleIndex v,"⋐" ,printbody e1,"⋑",handleIndex v]          | E.Sum ([(v,_,_)],e1)=>String.concat[" Σ_",handleIndex v,"⋐" ,printbody e1,"⋑",handleIndex v]
49          | E.Sum (sumindex,e1)=>String.concat[" Σ_", String.concatWith ","(List.map handleSumRange sumindex),"⋐" ,printbody e1,"⋑"]          | E.Sum (sumindex,e1)=>String.concat[" Σ_", String.concatWith ","(List.map handleSumRange sumindex),"⋐" ,printbody e1,"⋑"]
50   (*   (*
# Line 72  Line 71 
71          | E.Opn(E.Prod, el) => String.concat["{*{",String.concatWith "* " (List.map printbody el),"}*}"]*)          | E.Opn(E.Prod, el) => String.concat["{*{",String.concatWith "* " (List.map printbody el),"}*}"]*)
72   | E.Opn(E.Add, el) => String.concat["Add(",String.concatWith "+" (List.map printbody el),")"]   | E.Opn(E.Add, el) => String.concat["Add(",String.concatWith "+" (List.map printbody el),")"]
73   | E.Opn(E.Prod, el) => String.concat["Prod<",String.concatWith "* " (List.map printbody el),">"]   | E.Opn(E.Prod, el) => String.concat["Prod<",String.concatWith "* " (List.map printbody el),">"]
74            | E.Holder n1=> String.concat["Holder(",Int.toString(n1),")"]
75            | E.EvalKrn  del=>String.concat["Krn1pos ",iTos(del)]
76            | E.BuildPos(e1,e2)=>String.concat["Buildpos ",printbody e2]
77          (* end case *))          (* end case *))
78    
79      (*printerE:EIN ->string*)      (*printerE:EIN ->string*)

Legend:
Removed from v.3489  
changed lines
  Added in v.3541

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