ae45fc5 · generic-lens

git.iko.soy/generic-lens

Remove equality constraints for better inlining.

I think it's redundant, and it was getting in the way of optimisations pre-8.4.3.

commitae45fc51d69d8f07c0232d8308c60add2c205c20 authorCsongor Kiss <kiss.csongor.kiss@gmail.com> dateSat 1 Sep 2018, 23:22 (8 years ago) parent3a5e980

2 files changed−2

unifiedsplit

src/Data/Generics/Product/Fields.hs−1

@@ -138,7 +138,6 @@ instance -- see Note [Changing type parameters]

138138 , Generic t

139139 , ErrorUnless field s (CollectField field (Rep s))

140140 , HasTotalFieldP field (Rep s) ~ 'Just a

141− , HasTotalFieldP field (Rep t) ~ 'Just b

142141 , HasTotalFieldP field (Rep (Indexed s)) ~ 'Just a'

143142 , HasTotalFieldP field (Rep (Indexed t)) ~ 'Just b'

144143 , t ~ Infer s a' b

src/Data/Generics/Product/Positions.hs−1

@@ -118,7 +118,6 @@ instance -- see Note [Changing type parameters]

118118 , ErrorUnless i s (0 <? i && i <=? Size (Rep s))

119119 , GLens (HasTotalPositionPSym i) (CRep s) (CRep t) a b

120120 , HasTotalPositionP i (CRep s) ~ 'Just a

121− , HasTotalPositionP i (CRep t) ~ 'Just b

122121 , HasTotalPositionP i (CRep (Indexed s)) ~ 'Just a'

123122 , HasTotalPositionP i (CRep (Indexed t)) ~ 'Just b'

124123 , t ~ Infer s a' b