commit | da704856941622a0d0a793069bc22f4dca28b546 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 12 13:14:54 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 12 13:14:54 2002 +0000 |
tree | caad548a91616fea3b224848f31d2b6f5eed5f0a | |
parent | 0036cbae58a22b2bc8ae2673ae30c0c24a8c1a00 [diff] |
Give type name when complaining about using input-only type for output or v.v.