mirror of
https://github.com/github/semantic.git
synced 2024-11-29 02:44:36 +03:00
Revert "Define a GSum instance for Rec1."
This reverts commit 377fe62b9a
.
This commit is contained in:
parent
482e5d705b
commit
160f61355d
@ -192,7 +192,3 @@ instance (GSum f, GSum g) => GSum (f :+: g) where
|
||||
type Members (f :+: g) = Members f :+: Members g
|
||||
gmembers (L1 l) = L1 (gmembers l)
|
||||
gmembers (R1 r) = R1 (gmembers r)
|
||||
|
||||
instance GSum (Rec1 f) where
|
||||
type Members (Rec1 f) = f
|
||||
gmembers = unRec1
|
||||
|
Loading…
Reference in New Issue
Block a user