Look through annotations in tyfam solving - Githubissues

clash-lang / clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

https://clash-lang.org/

Other

1.4k stars 147 forks source link

Look through annotations in tyfam solving #2673

Closed christiaanb closed 4 months ago

christiaanb commented 4 months ago

Annotations are implemented as type synonyms.
GHC looks through type synonyms when matching type families
So Clash should do the same.

Fixes #2593

Still TODO:

[x] Write a changelog entry (see changelog/README.md)
[x] Check copyright notices are up to date in edited files