HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8230d01) | patch
Move ambient environment defaults into Env.env
authorClinton Ebadi <clinton@unknownlamer.org>
Wed, 9 Apr 2014 17:56:05 +0000 (13:56 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Wed, 9 Apr 2014 18:54:44 +0000 (14:54 -0400)
commite140629ff492a6440c7b0d892d27ed443a2f9cd9
tree0f8c35c198d870f50673dba22642dd89f161ce3btree | snapshot (tar.gz zip)
parent8230d01037874c933554158251c0e8c80be0613acommit | diff
Move ambient environment defaults into Env.env

* Compute initial type in `checkFile' rather than passing in `env_vars'
* Not happy with function names (initialDynEnvFOO is not very nice
  looking)
src/autodoc.sml diff | blob | blame | history
src/env.sig diff | blob | blame | history
src/env.sml diff | blob | blame | history
src/main.sml diff | blob | blame | history
src/order.sml diff | blob | blame | history
src/tycheck.sig diff | blob | blame | history
src/tycheck.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.