git.iko.soy/generic-lens
on master help sign in
Remove redundant pattern match
b8d6f40Csongor Kiss
src/Data/Generics/Product/Subtype.hs+1−1
compare with master
unifiedsplit
@@ -155,7 +155,7 @@ class GSmashLeaf sub sup (w :: Bool) where
155instance
155instance
156 GHasField field sup t
156 GHasField field sup t
157 => GSmashLeaf (S1 ('MetaSel ('Just field) p f b) (Rec0 t)) sup 'True where
157 => GSmashLeaf (S1 ('MetaSel ('Just field) p f b) (Rec0 t)) sup 'True where
158− gsmashLeaf sup (M1 (K1 _)) = M1 (K1 (sup ^. gfield @field))
158+ gsmashLeaf sup _ = M1 (K1 (sup ^. gfield @field))
159
159
160instance GSmashLeaf (S1 ('MetaSel ('Just field) p f b) (Rec0 t)) sup 'False where
160instance GSmashLeaf (S1 ('MetaSel ('Just field) p f b) (Rec0 t)) sup 'False where
161 gsmashLeaf _ = id
161 gsmashLeaf _ = id