diff options
| author | martinw | 2001-05-04 14:07:06 +0000 |
|---|---|---|
| committer | martinw | 2001-05-04 14:07:06 +0000 |
| commit | f01c6ca4cab4179008c5a518adb68bab49dd9e7e (patch) | |
| tree | d31d57129f92c4d32c94af8549b6256cb8bf4cd6 /sucl | |
| parent | 2 bugfixes: 1. pretty printing of types corrected, 2. blah (diff) | |
bugfix: for
:: *T = T
f x=:(T,b) = x
the derived result type of f was not essentially unique: f :: .. -> (.T, .a)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@389 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl')
0 files changed, 0 insertions, 0 deletions