summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b89f3b6)
With environment defaults in the basis library, permissions need to be
faked to allow typechecking of your_FOO refinement types to succeed.
files
in
Tycheck.allowExterns ();
files
in
Tycheck.allowExterns ();
+ Domain.declareClient ();
+ Domain.fakePrivileges ();
if emacs then
Autodoc.makeEmacsKeywords files
else
if emacs then
Autodoc.makeEmacsKeywords files
else