summaryrefslogtreecommitdiff
path: root/src/sidecheck.sml
Commit message (Expand)AuthorAge
* Announce sidedness errors with source locationsGravatar Adam Chlipala2011-11-25
* Tweak error message about Basis.get to use that name instead of internal nameGravatar Adam Chlipala2011-11-24
* Better error messages about server-side use of client-side functionsGravatar Adam Chlipala2011-11-14