Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove KnownDomain preparation #2590

Merged
merged 6 commits into from
Nov 2, 2023
Merged

Remove KnownDomain preparation #2590

merged 6 commits into from
Nov 2, 2023

Commits on Nov 2, 2023

  1. Cleanup clash-lib.cabal

    @leonschoorl
    leonschoorl committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    3c2c4cc View commit details
    Browse the repository at this point in the history

  2. Improve blackbox error message 

    This changes the error when using non-existant arguments in blackboxes 
from:

  Blackbox required at least 32 arguments, but only 8 were passed.

to the new error:

  Blackbox used "~ISSYNC[31]" , but only 8 arguments were passed.
    @leonschoorl
    leonschoorl committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    0ffd62e View commit details
    Browse the repository at this point in the history

  3. Refactor Test.Tasty.Clash 

    So it'll be easier to keep the temp directory
    @leonschoorl
    leonschoorl committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    4ba5f60 View commit details
    Browse the repository at this point in the history

  4. Allow blackbox templates to get domain info from Clock,Reset,Enable,etc 

    You can now use ~PERIOD, ~ISSYNC, ~ISINITDEFINED and ~ACTIVEEDGE
on arguments of type Clock,Reset,Enable,ClockN and DiffClock.
    @leonschoorl
    leonschoorl committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    c0a6120 View commit details
    Browse the repository at this point in the history

  5. Simplify Clash.Primitives.DSL.unsafeToActive[High,Low] 

    You don't need to provide a KnownDomain anymore
    @leonschoorl
    leonschoorl committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    6ab581f View commit details
    Browse the repository at this point in the history

  6. Add KnownDomain to unsafeToReset 

    In preparation for #2589 "Remove KnownDomain".
This is the only constraint addition in clash-prelude in for the KnownDomain removal,
by adding it here for 1.8 we can do the KnownDomain removal later,
with less backwards compatibility issues.

This commit also had to add a KnownDomain to invertReset,
because it used unsafeToReset, but this will be removed again by #2589.
    @leonschoorl
    leonschoorl committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    7aaadce View commit details
    Browse the repository at this point in the history