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-strand.sml
ViewVC logotype

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

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

revision 4348, Tue Aug 2 15:48:33 2016 UTC revision 4349, Tue Aug 2 18:14:48 2016 UTC
# Line 23  Line 23 
23      fun check (env, cxt, PT.SD_Mark m) = check (E.withEnvAndContext (env, cxt, m))      fun check (env, cxt, PT.SD_Mark m) = check (E.withEnvAndContext (env, cxt, m))
24        | check (env0, cxt, PT.SD_Strand{name={span, tree=name}, params, stateInit, state, methods}) =        | check (env0, cxt, PT.SD_Strand{name={span, tree=name}, params, stateInit, state, methods}) =
25            let            let
26            val env = E.strandScope env0            val env = E.strandScope(env0, name)
27            val (params, env) = CheckParams.check (env, cxt, Var.StrandParam, params)            val (params, env) = CheckParams.check (env, cxt, Var.StrandParam, params)
28            val sEnv = StrandEnv.new (name, params)            val sEnv = StrandEnv.new (name, params)
29          (* check the strand state-variable definitions *)          (* check the strand state-variable definitions *)

Legend:
Removed from v.4348  
changed lines
  Added in v.4349

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