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 3030, Tue Mar 10 01:24:41 2015 UTC revision 3033, Tue Mar 10 15:17:25 2015 UTC
# Line 31  Line 31 
31          | E.Value(ix)=> String.concat["_",iTos(ix),"_"]          | E.Value(ix)=> String.concat["_",iTos(ix),"_"]
32          | E.Epsilon(ix, jx, kx) => String.concat["ϵ_",iTos(ix), iTos(jx), iTos(kx)]          | E.Epsilon(ix, jx, kx) => String.concat["ϵ_",iTos(ix), iTos(jx), iTos(kx)]
33          | E.Eps2(ix, jx) => String.concat["ϵ_",iTos(ix), iTos(jx)]          | E.Eps2(ix, jx) => String.concat["ϵ_",iTos(ix), iTos(jx)]
34     (*
35     | E.Sum(_,e1 as E.Add _)=>String.concat[" Σ_Add","⋐" ,printbody e1,"⋑"]
36     | E.Sum(_,e1 as E.Sub _)=>String.concat[" Σ_sub","⋐" ,printbody e1,"⋑"]
37      | E.Sum(_,e1 as E.Prod _)=>String.concat[" Σ_prod","⋐" ,printbody e1,"⋑"]
38      | E.Sum(_,e1 as E.Neg _)=>String.concat[" Σ_neg","⋐" ,printbody e1,"⋑"]
39      | E.Sum(_,e1 as E.Sqrt _)=>String.concat[" Σ_sqrt","⋐" ,printbody e1,"⋑"]
40     *)
41          | E.Sum ([(v,_,_)],e1)=>String.concat[" Σ_",handleIndex v,"⋐" ,printbody e1,"⋑",handleIndex v]          | E.Sum ([(v,_,_)],e1)=>String.concat[" Σ_",handleIndex v,"⋐" ,printbody e1,"⋑",handleIndex v]
42    
43          | 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,"⋑"]

Legend:
Removed from v.3030  
changed lines
  Added in v.3033

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