Skip to content
Snippets Groups Projects
Commit 092f0532 authored by Andreas Klebinger's avatar Andreas Klebinger Committed by Marge Bot
Browse files

When deriving Eq always use tag based comparisons for nullary constructors 


Instead of producing auxiliary con2tag bindings we now rely on
dataToTag#, eliminating a fair bit of generated code.

Co-Authored-By: default avatarBen Gamari <ben@well-typed.com>
parent 1ff61314
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment