HCoop Git - hcoop/domtool2.git/atom - src/tycheck.sml historyUnnamed repository; edit this file to name it for gitweb.https://git.hcoop.net/hcoop/domtool2.gitstatic/git-favicon.pngstatic/git-logo.png2014-04-09T18:54:44ZgitwebMove ambient environment defaults into Env.env2014-04-09T17:56:05ZClinton Ebadiclinton@unknownlamer.orgClinton Ebadiclinton@unknownlamer.org2014-04-09T17:56:05Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/e140629ff492a6440c7b0d892d27ed443a2f9cd9
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)
Hint Monster2007-12-15T21:05:09ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2007-12-15T21:05:09Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/113d72170910c3dd0e9b49c6b46a8ae42df66ab8
Type annotations on environment variable reads2007-11-11T17:12:42ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2007-11-11T17:12:42Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/8cbb96323335d1a2b42a9daac94a9d538ab93536
Add special case for function applications in base type rule checks2007-10-13T13:38:46ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2007-10-13T13:38:46Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/4ecbfd4c845e35126c61e182146005f27d45339a
Add special case for function applications in base type rule checks
Factor common printing functionality between text and HTML into a functor2007-05-26T17:14:42ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2007-05-26T17:14:42Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/9b7ee2b22abce813120a633f5a4f5523a630a2ea
Factor common printing functionality between text and HTML into a functor
Factor error message generation into a separate file; add '-tc' flag to domtool-client2007-05-26T16:11:32ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2007-05-26T16:11:32Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/e1b99e23f8d30efc7842ee006e0ff3ef0347b7df
Factor error message generation into a separate file; add '-tc' flag to domtool-client
Changes before announcement to hcoop-discuss2006-09-06T03:22:45ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2006-09-06T03:22:45Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/6bb366c5a60247419dce5cbce4a5c034fa2f1e5c
Location and Directory2006-08-06T21:49:23ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2006-08-06T21:49:23Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/2882ee37fded46346977da456ae793f3e6a3bfac
Start of Apache2006-08-06T19:58:18ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2006-08-06T19:58:18Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/8a7c40fa29ff18a437fcf4ee3f248a7aeb41c19c
Custom base types2006-07-30T01:26:25ZAdam Chlipalaadamc@hcoop.netAdam Chlipalaadamc@hcoop.net2006-07-30T01:26:25Zhttps://git.hcoop.net/hcoop/domtool2.git/commitdiff/6be996d467429cc09f81becd3fd4e294ae1871ae