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

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

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

revision 3412, Thu Nov 12 03:53:50 2015 UTC revision 3413, Thu Nov 12 15:21:54 2015 UTC
# Line 40  Line 40 
40      datatype token = datatype TypeError.token      datatype token = datatype TypeError.token
41    
42    (* mark a variable use with its location *)    (* mark a variable use with its location *)
43      fun useVar (cxt, x) = (x, Error.location cxt)      fun useVar (cxt : Env.context, x) = (x, #2 cxt)
44    
45    (* typecheck a variable declaration *)    (* typecheck a variable declaration *)
46      fun checkVarDecl (env, cxt, kind, d) = (case d      fun checkVarDecl (env, cxt, kind, d) = (case d

Legend:
Removed from v.3412  
changed lines
  Added in v.3413

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