msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

Eq1

Browse Source
This commit is contained in:
crumbtoo
2024-02-26 14:58:17 -07:00
parent 30fe41ce97
commit c8967572a6
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/Core/Syntax.hs
View File

@@ -552,3 +552,7 @@ instance (Eq b) => Eq1 (BindingF b) where
ka == kb && va `eq` vb ka == kb && va `eq` vb
where eq = liftEqExpr f where eq = liftEqExpr f
deriveEq1 ''ExprF
deriving instance (Eq b, Eq a) => Eq (ExprF b a)