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 3401, Wed Nov 11 02:21:58 2015 UTC revision 3402, Wed Nov 11 02:54:23 2015 UTC
# Line 19  Line 19 
19            val cxt = (errStrm, span)            val cxt = (errStrm, span)
20            val env = Basis.env()            val env = Basis.env()
21  (* FIXME *)  (* FIXME *)
22              val update' = (case update
23                     of SOME stm => SOME(CheckStmt.check(env, cxt, stm))
24                      | NONE => NONE
25                    (* end case *))
26            in            in
27              AST.Program{              AST.Program{
28                  props = Env.properties env,                  props = Env.properties env,

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

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