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

SCM Repository

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

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

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

revision 3463, Sun Nov 29 15:07:26 2015 UTC revision 3464, Sun Nov 29 17:38:34 2015 UTC
# Line 15  Line 15 
15    (* operations that are allowed in constant expressions *)    (* operations that are allowed in constant expressions *)
16      val allowedInConstExp : AST.var -> bool      val allowedInConstExp : AST.var -> bool
17    
18      (* reduction operators *)
19        val isReductionOp : AST.var -> bool
20    
21    (* global sets of strands *)    (* global sets of strands *)
22      val isStrandSet : AST.var -> bool      val isStrandSet : AST.var -> bool
23    
# Line 190  Line 193 
193      fun allowedInConstExp x = Var.Set.member (allowed, x)      fun allowedInConstExp x = Var.Set.member (allowed, x)
194      end (* local *)      end (* local *)
195    
196      (* the reduction operators *)
197        local
198          val redOps = List.foldl Var.Set.add' Var.Set.empty [
199                  BV.red_all,
200                  BV.red_exists,
201                  BV.red_max,
202                  BV.red_mean,
203                  BV.red_min,
204                  BV.red_product,
205                  BV.red_sum,
206                  BV.red_variance
207                ]
208        in
209        fun isReductionOp x = Var.Set.member (redOps, x)
210        end (* local *)
211    
212    (* the sets of strands are only allowed in global initialization and update blocks *)    (* the sets of strands are only allowed in global initialization and update blocks *)
213      local      local
214        val strandSets = List.foldl Var.Set.add' Var.Set.empty [        val strandSets = List.foldl Var.Set.add' Var.Set.empty [

Legend:
Removed from v.3463  
changed lines
  Added in v.3464

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