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 3463, Sun Nov 29 15:07:26 2015 UTC revision 3464, Sun Nov 29 17:38:34 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 (_, AST.E_Var(xs, _)) =>               of (x, AST.E_Var(xs, span)) =>
678                    if Basis.isStrandSet xs                    if Basis.isStrandSet xs
679                    andalso not(Env.inGlobalInit env orelse Env.inGlobalUpdate env)                    andalso not(Env.inGlobalInit env orelse Env.inGlobalUpdate env)
680                      then TypeError.error (cxt, [                      then err (cxt, [
681                          S "use of strand set ", V xs,                          S "use of strand set ", V xs,
682                          S " outside of global initialization or update"                          S " outside of global initialization or update"
683                        ])                        ])
684                      else ()                      else (AST.E_ParallelMap(e', x, xs, resTy), resTy)
685                | _ => ()                | _ => (AST.E_Comprehension(e', iter', resTy), resTy)
686              (* end case *);              (* end case *)
             (AST.E_Comprehension(e', iter', resTy), resTy)  
687            end            end
688        | chkComprehension _ = raise Fail "impossible"        | chkComprehension _ = raise Fail "impossible"
689    

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