diff options
| author | Kathy Gray | 2014-03-20 17:40:46 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-03-20 17:43:37 +0000 |
| commit | 7ffcf38ab6a26f2bd00d94b99ae8b062c6e37f9c (patch) | |
| tree | dabb69d4f09e914481166e64bfb4c093a2b41561 /src/test | |
| parent | e5552aeb0c9f41faa2191c49b4cfe81b5bd691b1 (diff) | |
Fix type checking bug that was incorrectly unifying type variables, leading function 'a id x = x to have type 'a 'b . 'a -> 'b
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions