diff options
| author | Adam Gundry <adam@well-typed.com> | 2020-12-01 09:17:04 +0000 |
|---|---|---|
| committer | Adam Gundry <adam@well-typed.com> | 2020-12-23 21:35:01 +0000 |
| commit | 8a5ccf93c53a40abe42134c2282ac9b9d653224c (patch) | |
| tree | ac3e86d28fc78858c099383ce1c29477ab5cd67a /.ghci | |
| parent | beafcacfd0fc3d447d461a2be3378e50ef77d9c0 (diff) | |
Adapt to changes to GlobalRdrElt and AvailInfo
Needed for ghc/ghc!4467
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions