Add `KnownNat (DomainPeriod dom)` to `KnownDomain` - Githubissues

clash-lang / clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

https://clash-lang.org/

Other

1.42k stars 150 forks source link

Add `KnownNat (DomainPeriod dom)` to `KnownDomain` #2541

Closed martijnbastiaan closed 1 year ago

martijnbastiaan commented 1 year ago

We previously needed to either:

Add this constraint to our functions
Match on the SNat produced by clockPeriod @dom

Still TODO:

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