Revert "Add comments explaining #8754"

Authored by austin on Feb 18 2014, 5:20 AM.

Description

Revert "Add comments explaining Trac #8754"

This reverts commit b626c3d4ce0e66216705ba8355c914dc809e3fe7.

Details

Committed
austinFeb 18 2014, 5:20 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF89d2c048c810: Keep kind-inconsistent Given type equalities (fixes Trac #8705)
Branches
Unknown
Tags
Unknown
Reverts
rGHCDIFFb626c3d4ce0e: Add comments explaining #8754