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

SCM Repository

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

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

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

revision 3402, Wed Nov 11 02:54:23 2015 UTC revision 3409, Wed Nov 11 22:38:14 2015 UTC
# Line 18  Line 18 
18            val {globals, strand, init, create, update} = tree            val {globals, strand, init, create, update} = tree
19            val cxt = (errStrm, span)            val cxt = (errStrm, span)
20            val env = Basis.env()            val env = Basis.env()
21              val {const_dcls, input_dcls, other_dcls, env} =
22                    CheckGlobals.check (env, cxt, globals)
23  (* FIXME *)  (* FIXME *)
24            val update' = (case update            val update' = (case update
25                   of SOME stm => SOME(CheckStmt.check(env, cxt, stm))                   of SOME stm => SOME(CheckStmt.check(env, cxt, stm))
# Line 27  Line 29 
29              AST.Program{              AST.Program{
30                  props = Env.properties env,                  props = Env.properties env,
31                  globals = globals',                  globals = globals',
32                    const_dcls = const_dcls,
33                    input_dcls = input_dcls,
34                    globals = other_dcls,
35                  strand = strand',                  strand = strand',
36                  init = init',                  init = init',
37                  create = create',                  create = create',

Legend:
Removed from v.3402  
changed lines
  Added in v.3409

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