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

Give evaluator acces to inscope let-bindings #2571

Merged
merged 3 commits into from
Nov 3, 2023
Merged

Give evaluator acces to inscope let-bindings #2571

merged 3 commits into from
Nov 3, 2023

Commits on Nov 3, 2023

  1. Load all unfoldings on GHC 9.4+ 

    GHC 9.4+ differentiates between regular unfoldings and unfoldings
of loop breakers. Previously we wouldn't load unfoldings of loop
breakers, unintentionally marking them as primitives. Now we load
all unfoldings from interface files, even loop breakers.
    @christiaanb
    christiaanb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    2f01eb8 View commit details
    Browse the repository at this point in the history

  2. Give evaluator access to inscope let-bindings 

    Without it, Clash goes into an infinite loop on T1354A in
combination with:

clash-lang/ghc-typelits-knownnat#47
    @christiaanb
    christiaanb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    dcca851 View commit details
    Browse the repository at this point in the history

  3. Avoid bang-patterns in Internal.Index 

    It generates core that pattern matches on the constructor of the
Index data type. This can mess up certain parts of the Clash
compiler.
    @christiaanb
    christiaanb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    10ac261 View commit details
    Browse the repository at this point in the history