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 2587, Thu Apr 17 04:30:15 2014 UTC revision 2603, Thu Apr 24 03:58:37 2014 UTC
# Line 33  Line 33 
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)]
36      | 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,"⋑"]
37      | E.Neg e1 => String.concat["-NEG-", printbody e1]      | E.Neg e1 => String.concat["-NEG-", printbody e1]
38        | E.Lift e1 => String.concat["LIFT ⊢", printbody e1,"⊣"]
39      | E.Add el => String.concat["(",String.concatWith "+" (List.map printbody el),")"]      | E.Add el => String.concat["(",String.concatWith "+" (List.map printbody el),")"]
40      | E.Sub(e1, e2) => String.concat ["(",printbody(e1),"- ",printbody(e2), ")"]      | E.Sub(e1, e2) => String.concat ["(",printbody(e1),"- ",printbody(e2), ")"]
41      | E.Prod el => String.concat["{{",String.concatWith "* " (List.map printbody el),"}}"]      | E.Prod el => String.concat["{{",String.concatWith "* " (List.map printbody el),"}}"]

Legend:
Removed from v.2587  
changed lines
  Added in v.2603

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