aboutsummaryrefslogtreecommitdiff
path: root/frontend/refmark.dcl
diff options
context:
space:
mode:
authorsjakie1999-10-08 14:56:41 +0000
committersjakie1999-10-08 14:56:41 +0000
commit0872a065af367669e6cca601b6ee0c4e690d127e (patch)
tree1d33154ea3cf0d02d43d7e1f4f4b3118ebffe4d8 /frontend/refmark.dcl
parent*** empty log message *** (diff)
improvement of error messages during type checking
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@12 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/refmark.dcl')
0 files changed, 0 insertions, 0 deletions