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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/typechecker/typechecker.sml

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

revision 2783, Tue Oct 14 19:01:31 2014 UTC revision 2784, Tue Oct 14 19:08:47 2014 UTC
# Line 929  Line 929 
929                        val kind = if isOut then AST.StrandOutputVar else AST.StrandStateVar                        val kind = if isOut then AST.StrandOutputVar else AST.StrandStateVar
930                        val (x, x', e') = checkVarDecl (env, cxt, kind, vd)                        val (x, x', e') = checkVarDecl (env, cxt, kind, vd)
931                        in                        in
932                        (* check that output variables have value types *)                        (* check that strand variables have value types *)
933                          if isOut andalso not(TU.isValueType(Var.monoTypeOf x'))                          if not(TU.isValueType(Var.monoTypeOf x'))
934                            then err(cxt, [                            then err(cxt, [
935                                S "output variable ", V x', S " has non-value type ",                                S "strand variable ", V x', S " has non-value type ",
936                                TY(Var.monoTypeOf x')                                TY(Var.monoTypeOf x')
937                              ])                              ])
938                            else ();                            else ();

Legend:
Removed from v.2783  
changed lines
  Added in v.2784

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