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 3462, Tue Nov 24 19:06:11 2015 UTC revision 3463, Sun Nov 29 15:07:26 2015 UTC
# Line 673  Line 673 
673            val (e', ty) = check (env', cxt, e)            val (e', ty) = check (env', cxt, e)
674            val resTy = Ty.T_Sequence(ty, NONE)            val resTy = Ty.T_Sequence(ty, NONE)
675            in            in
676                case iter'
677                 of (_, AST.E_Var(xs, _)) =>
678                      if Basis.isStrandSet xs
679                      andalso not(Env.inGlobalInit env orelse Env.inGlobalUpdate env)
680                        then TypeError.error (cxt, [
681                            S "use of strand set ", V xs,
682                            S " outside of global initialization or update"
683                          ])
684                        else ()
685                  | _ => ()
686                (* end case *);
687              (AST.E_Comprehension(e', iter', resTy), resTy)              (AST.E_Comprehension(e', iter', resTy), resTy)
688            end            end
689        | chkComprehension _ = raise Fail "impossible"        | chkComprehension _ = raise Fail "impossible"

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