HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b89f3b6) | patch
domtool-doc: fake privs toplevel-dynamic-environment
authorClinton Ebadi <clinton@unknownlamer.org>
Wed, 9 Apr 2014 21:28:35 +0000 (17:28 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Wed, 9 Apr 2014 21:28:35 +0000 (17:28 -0400)
commit38d4fd3b42b382d86be4b67fda8889894c89f087
tree77357a37783f1ca2f932796dc8b4231e2e518b58tree | snapshot (tar.gz zip)
parentb89f3b680b7d4c16d2b684487d5a202fa0e726aecommit | diff
domtool-doc: fake privs

With environment defaults in the basis library, permissions need to be
faked to allow typechecking of your_FOO refinement types to succeed.
src/main-doc.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.