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 3462, Tue Nov 24 19:06:11 2015 UTC revision 3463, Sun Nov 29 15:07:26 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      (* global sets of strands *)
19        val isStrandSet : AST.var -> bool
20    
21    end = struct    end = struct
22    
23      structure N = BasisNames      structure N = BasisNames
# Line 187  Line 190 
190      fun allowedInConstExp x = Var.Set.member (allowed, x)      fun allowedInConstExp x = Var.Set.member (allowed, x)
191      end (* local *)      end (* local *)
192    
193      (* the sets of strands are only allowed in global initialization and update blocks *)
194        local
195          val strandSets = List.foldl Var.Set.add' Var.Set.empty [
196                  BV.set_active,
197                  BV.set_all,
198                  BV.set_stable
199                ]
200        in
201        fun isStrandSet x = Var.Set.member (strandSets, x)
202        end (* end local *)
203    
204    end    end

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

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