Authored by goldfire on Feb 8 2014, 9:09 PM.

Description

Fix Trac #8631.

This patch allows turning on ImpredicativeTypes while type-checking
the code generated by GeneralizedNewtypeDeriving. It does this
by adding a field ib_extensions to InstBindings, informing the
type-checker what extensions should be enabled while type-checking
the instance.

Details

Committed
goldfireFeb 8 2014, 9:11 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF4f6a0f486fc2: T8256 needs vector
Branches
Unknown
Tags
Unknown