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

SCM Repository

[diderot] Diff of /branches/chiw17/src/compiler/ein/ein-sums.sml
ViewVC logotype

Diff of /branches/chiw17/src/compiler/ein/ein-sums.sml

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

revision 5029, Tue Jul 11 22:38:23 2017 UTC revision 5030, Tue Jul 11 22:53:10 2017 UTC
# Line 63  Line 63 
63                                            => NONE                                            => NONE
64                | E.Probe(e1, e2)           => sort [e1, e2]                | E.Probe(e1, e2)           => sort [e1, e2]
65                | E.Comp(e1,_)              => findSx(c,e1)                | E.Comp(e1,_)              => findSx(c,e1)
66                | E.PolyWrap(_, e1, _)      => findSx(c,e1)                | E.OField(_,_, e1, _)      => findSx(c,e1)
67                | E.Poly (_,_, _,shape)           => findIndex (c, shape)                | E.Poly (_,_, _,shape)           => findIndex (c, shape)
68                | E.Value _                 => NONE                | E.Value _                 => NONE
69                | E.Img _                   => raise Fail "Img used pre expansion"                | E.Img _                   => raise Fail "Img used pre expansion"
# Line 153  Line 153 
153                    | E.Apply(e1, e2)       => E.Apply(rewriteBody e1, rewriteBody e2)                    | E.Apply(e1, e2)       => E.Apply(rewriteBody e1, rewriteBody e2)
154                    | E.Probe(e1, e2)       => E.Probe(e1, rewriteBody e2)                    | E.Probe(e1, e2)       => E.Probe(e1, rewriteBody e2)
155                    | E.Comp(e1, es)        => E.Comp(rewriteBody e1, es)                    | E.Comp(e1, es)        => E.Comp(rewriteBody e1, es)
156                    | E.PolyWrap(id, e1, ix)=> E.PolyWrap(id, rewriteBody e1, ix)                    | E.OField(ofld, id, e1, ix)=>E.OField(ofld,id, rewriteBody e1, ix)
157                    | E.Value _             => raise Fail"Value before Expand"                    | E.Value _             => raise Fail"Value before Expand"
158                    | E.Img _               => raise Fail"Img before Expand"                    | E.Img _               => raise Fail"Img before Expand"
159                    | E.Krn _               => raise Fail"Krn before Expand"                    | E.Krn _               => raise Fail"Krn before Expand"

Legend:
Removed from v.5029  
changed lines
  Added in v.5030

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