sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-30 10:59:09 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

[fix] Try to make the error message more understandable (maybe).

Browse Source
This commit is contained in:
Yamada Ryo 2023-09-14 15:01:01 +09:00
parent d1ce1cf474
commit 4f6d65b82e
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
heftia/src/Data/Free/Union.hs
View File

@ -124,4 +124,4 @@ type family IsMember (f :: Instruction) fs where
IsMember f (_ ': fs) = IsMember f fs
IsMember _ '[] = 'False
type Member u f fs = (IsMember f fs ~ 'True, HasMembership u f fs)
type Member u f fs = (HasMembership u f fs, IsMember f fs ~ 'True)

2
heftia/src/Data/Hefty/Union.hs
View File

@ -131,4 +131,4 @@ type family IsMemberH (h :: Signature) hs where
IsMemberH h (_ ': hs) = IsMemberH h hs
IsMemberH _ '[] = 'False
type MemberH u h hs = (IsMemberH h hs ~ 'True, HasMembershipH u h hs)
type MemberH u h hs = (HasMembershipH u h hs, IsMemberH h hs ~ 'True)