diff options
author | sjakie | 1999-10-08 14:56:41 +0000 |
---|---|---|
committer | sjakie | 1999-10-08 14:56:41 +0000 |
commit | 0872a065af367669e6cca601b6ee0c4e690d127e (patch) | |
tree | 1d33154ea3cf0d02d43d7e1f4f4b3118ebffe4d8 /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