diff options
| author | aarne <aarne@chalmers.se> | 2010-03-31 22:05:12 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-31 22:05:12 +0000 |
| commit | 5dfda62ad10639d1493ed57d709786ad9291bec1 (patch) | |
| tree | 9317b805c4c034f9aed142af749d66679baff57a /src/server | |
| parent | fb0f77b6f11edb483fd79ee2a77c9cb0b7e059b1 (diff) | |
fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions