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-04-15 10:07:20 -06:00
parent 2daf24acac
commit e6a5665d4a
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Core/Syntax.hs
+4
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)