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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/simplify/simplify.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/simplify/simplify.sml

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

revision 4359, Thu Aug 4 01:30:23 2016 UTC revision 4364, Fri Aug 5 15:27:42 2016 UTC
# Line 247  Line 247 
247                          if Var.same(BV.neg_t, rator)                          if Var.same(BV.neg_t, rator)
248                            then (stms, S.E_Lit(Literal.Real(RealLit.negate f))) (* constant-fold negation of real literals *)                            then (stms, S.E_Lit(Literal.Real(RealLit.negate f))) (* constant-fold negation of real literals *)
249                            else doPrimApply (rator, tyArgs, args, ty)                            else doPrimApply (rator, tyArgs, args, ty)
250    (* QUESTION: is there common code in handling a reduction over a sequence of strands vs. over a strand set? *)
251                      | AST.E_Comprehension(e', (x, e''), seqTy) => if Basis.isReductionOp rator                      | AST.E_Comprehension(e', (x, e''), seqTy) => if Basis.isReductionOp rator
252                          then let                          then let
253                            val {rator, init, mvs} = Util.reductionInfo rator                            val {rator, init, mvs} = Util.reductionInfo rator

Legend:
Removed from v.4359  
changed lines
  Added in v.4364

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