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

SCM Repository

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

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

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

revision 3145, Fri Mar 27 16:17:42 2015 UTC revision 3146, Fri Mar 27 16:18:00 2015 UTC
# Line 73  Line 73 
73              bindings = AtomMap.insert(bindings, name, Error.location cxt),              bindings = AtomMap.insert(bindings, name, Error.location cxt),
74              env=Env.insertStrand(env, s)              env=Env.insertStrand(env, s)
75            }            }
76      fun insertFunc ({scope, bindings, env}, cxt, f, f') = {      fun insertFunc ({scope, bindings, env}, cxt, f, f') =  let
77              val loc = Error.location cxt
78              in
79                setLoc(f', loc);
80                {
81              scope=scope,              scope=scope,
82              bindings = AtomMap.insert(bindings, f, Error.location cxt),                bindings = AtomMap.insert(bindings, f, loc),
83              env=Env.insertFunc(env, f, Env.UserFun f')              env=Env.insertFunc(env, f, Env.UserFun f')
84            }            }
85              end
86      fun insertLocal ({scope, bindings, env}, cxt, x, x') = let      fun insertLocal ({scope, bindings, env}, cxt, x, x') = let
87            val loc = Error.location cxt            val loc = Error.location cxt
88            in            in

Legend:
Removed from v.3145  
changed lines
  Added in v.3146

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