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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/typechecker/check-expr.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/typechecker/check-expr.sml

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

revision 3464, Sun Nov 29 17:38:34 2015 UTC revision 3467, Sun Nov 29 20:45:59 2015 UTC
# Line 674  Line 674 
674            val resTy = Ty.T_Sequence(ty, NONE)            val resTy = Ty.T_Sequence(ty, NONE)
675            in            in
676              case iter'              case iter'
677               of (x, AST.E_Var(xs, span)) =>               of (x, AST.E_Prim(f, _, [], _)) =>
678                    if Basis.isStrandSet xs                    if Basis.isStrandSet f
679                    andalso not(Env.inGlobalInit env orelse Env.inGlobalUpdate env)                    andalso not(Env.inGlobalInit env orelse Env.inGlobalUpdate env)
680                      then err (cxt, [                      then err (cxt, [
681                          S "use of strand set ", V xs,                          S "use of strand set ", V f,
682                          S " outside of global initialization or update"                          S " outside of global initialization or update"
683                        ])                        ])
684                      else (AST.E_ParallelMap(e', x, xs, resTy), resTy)                      else (AST.E_ParallelMap(e', x, f, resTy), resTy)
685                | _ => (AST.E_Comprehension(e', iter', resTy), resTy)                | _ => (AST.E_Comprehension(e', iter', resTy), resTy)
686              (* end case *)              (* end case *)
687            end            end

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

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