Revert "Add comments explaining Trac #8754"
This reverts commit b626c3d4ce0e66216705ba8355c914dc809e3fe7.
Description
Description
Details
Details
- Committed
austin Feb 18 2014, 5:20 AM - Pushed
bgamari Aug 25 2016, 1:39 PM - Parents
- rGHCDIFF89d2c048c810: Keep kind-inconsistent Given type equalities (fixes Trac #8705)
- Branches
- Unknown
- Tags
- Reverts
- rGHCDIFFb626c3d4ce0e: Add comments explaining #8754