diff options
| author | aarne <aarne@chalmers.se> | 2014-02-09 19:55:17 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-02-09 19:55:17 +0000 |
| commit | 6faaa795c5f7954ae66f55b29f822e30a4aae64b (patch) | |
| tree | 9c0aa9b5a3eab2e2cdc832d63c10e98667e16622 /src/runtime | |
| parent | 1746e3ad2aad6c1334cc1e5d8a051deb0f12cb36 (diff) | |
disabled ad hoc overloading, as it still causes mysterious errors. It is just a few lines in Rename.hs
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions