diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-02 08:33:13 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-02 08:33:13 +0000 |
| commit | 5b406e30a7d6e3b594d67b9ee883337c50d3d384 (patch) | |
| tree | cd5aba0010999834f4f365216a36afeb3003bfeb /.authorspellings | |
| parent | 47be31308f5c90c4ae5e78252989c7da70b46e70 (diff) | |
Use InstEnv.instanceSig rather than instanceHead (name change)
Diffstat (limited to '.authorspellings')
0 files changed, 0 insertions, 0 deletions