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 4327, Sun Jul 31 20:45:24 2016 UTC revision 4371, Sat Aug 6 11:48:16 2016 UTC
# Line 9  Line 9 
9  structure Typechecker : sig  structure Typechecker : sig
10    
11    (* type check a Diderot program *)    (* type check a Diderot program *)
12      val check : Error.err_stream -> ParseTree.program -> AST.program      val check : Error.err_stream -> ParseTree.program -> AST.program * GlobalEnv.t
13    
14    end = struct    end = struct
15    
# Line 51  Line 51 
51                  }                  }
52            in            in
53              CheckVarUses.check (cxt, prog);              CheckVarUses.check (cxt, prog);
54              prog              (prog, E.globalEnv env)
55            end            end
56    
57    end    end

Legend:
Removed from v.4327  
changed lines
  Added in v.4371

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