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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/mid-to-low/ein-to-scalar.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/mid-to-low/ein-to-scalar.sml

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

revision 3968, Tue Jun 14 19:49:02 2016 UTC revision 3969, Wed Jun 15 01:37:57 2016 UTC
# Line 87  Line 87 
87                              | E.ArcSine => Mk.realArcSin (avail, arg)                              | E.ArcSine => Mk.realArcSin (avail, arg)
88                              | E.Tangent => Mk.realTan (avail, arg)                              | E.Tangent => Mk.realTan (avail, arg)
89                              | E.ArcTangent => Mk.realArcTan (avail, arg)                              | E.ArcTangent => Mk.realArcTan (avail, arg)
90                              | _ => raise Fail "FIXME: unimplemented Op1 operator"                              | E.Exp => Mk.realExp (avail, arg)
91  (*                              | E.PowInt n =>  Mk.intPow (avail, arg, n)
92                              | E.Exp                              | E.PowReal _ => raise Fail ("FIXME: unimplemented Op1 operator"^ EinPP.expToString body)
93                              | E.PowInt of int                              | E.PowEmb  _ =>  raise Fail ("FIXME: unimplemented Op1 operator"^ EinPP.expToString body)
                             | E.PowReal of Rational.t  
                             | E.PowEmb of sumrange list * int  
 *)  
94                            (* end case *)                            (* end case *)
95                          end                          end
96                      | E.Op2(E.Sub, e1, e2) => Mk.realSub (avail, gen (mapp, e1), gen (mapp, e2))                      | E.Op2(E.Sub, e1, e2) => Mk.realSub (avail, gen (mapp, e1), gen (mapp, e2))
# Line 117  Line 114 
114                      | E.Probe(E.Const e1, e2) => gen(mapp, E.Const e1)                      | E.Probe(E.Const e1, e2) => gen(mapp, E.Const e1)
115                      | E.Probe(E.Delta e1, e2) => gen(mapp, E.Delta e1)                      | E.Probe(E.Delta e1, e2) => gen(mapp, E.Delta e1)
116                      | E.Probe e => raise Fail("probe ein-exp: " ^ EinPP.expToString body)                      | E.Probe e => raise Fail("probe ein-exp: " ^ EinPP.expToString body)
117                        | E.Field _ => raise Fail("field should have been replaced: " ^ EinPP.expToString body)
118                      | _ => raise Fail("unsupported ein-exp: " ^ EinPP.expToString body)                      | _ => raise Fail("unsupported ein-exp: " ^ EinPP.expToString body)
119                    (*end case*)                    (*end case*)
120                  end                  end

Legend:
Removed from v.3968  
changed lines
  Added in v.3969

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