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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/high-il/normalize-ein.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/high-il/normalize-ein.sml

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

revision 2413, Mon Aug 12 17:36:05 2013 UTC revision 2414, Mon Aug 19 05:02:14 2013 UTC
# Line 309  Line 309 
309                      E.Add(List.map (fn e=> E.Prod([e1, e]@e3)) e2))                      E.Add(List.map (fn e=> E.Prod([e1, e]@e3)) e2))
310                | E.Prod(e1::(E.Sub(e2,e3))::e4)=>                | E.Prod(e1::(E.Sub(e2,e3))::e4)=>
311                      ( changed :=true; E.Sub(E.Prod([e1, e2]@e4), E.Prod([e1,e3]@e4 )))                      ( changed :=true; E.Sub(E.Prod([e1, e2]@e4), E.Prod([e1,e3]@e4 )))
312                | E.Prod[E.Partial r1,E. Conv(i, j, k, l)]=>                | E.Prod[E.Partial r1,E. Conv(E.Field(id,[i]), deltas)]=>
313                      (changed:=true; ( let val j1=                      (changed:=true; (
314                                          List.map (fn(x)=> (l,x))  r1 in E.Conv(i, j1@j, k, l) end ))                     let
315                        val j1= List.map (fn(x)=> (i,x))  r1
316                       in E.Conv(E.Field(id,[i]), j1@deltas) end ))
317                | E.Prod((E.Partial r1)::(E.Partial r2)::e) =>                | E.Prod((E.Partial r1)::(E.Partial r2)::e) =>
318                      (changed := true; E.Prod([E.Partial (r1@r2)] @ e)  )                      (changed := true; E.Prod([E.Partial (r1@r2)] @ e)  )
319                | E.Prod[(E.Epsilon(e1,e2,e3)), E.Tensor(_,[i1,i2])]=>                | E.Prod[(E.Epsilon(e1,e2,e3)), E.Tensor(_,[i1,i2])]=>

Legend:
Removed from v.2413  
changed lines
  Added in v.2414

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