clash-compiler

clash-compiler copied to clipboard

Enable building Clash against GHC 9.10 (copy #2758)

2

Add support for GHC 9.10 Currently, when building the Clash compiler against GHC 9.10 it will only work reliably on 64-bit platforms, and not so on 32-bit platforms. That's because...

mergify[bot]

Update mergify config

3

It was reporting: > The configuration uses the deprecated update_method attribute of the queue action in one or more pull_request_rules. It must now be used under the queue_rules configuration. >...

leonschoorl

nameHint is unreliable due to foldr/build fusion

4

If one writes `nameHint (SSym @"hi") ...` there is a good chance that GHC's `unpack` rewrite rule will rewrite the `String` in the term-level evidence carried by `SSym` (which is...

bgamari

[This reproducer](https://github.com/gergoerdi/clash-issue-2802/tree/clash-issue-2802) steadily uses more and more memory when run with `stack run`. Compiling `clash-prelude` with `super-strict: true` seems to be an effective workaround.

gergoerdi

signalAutomaton gets shared, to disastrous results

1

The below program runs fine in GHCi, but when compiled and run, fails after the first invocation of `sim`: ``` module Main where import Clash.Prelude import Control.Arrow.Transformer.Automaton circuit :: (HiddenClockResetEnable...

gergoerdi

See https://github.com/clash-lang/clash-compiler/pull/2720#issuecomment-2118747176

martijnbastiaan

More stringy names in Clash.GHC.Evaluator.Primitive

2

Hard-coded stringy names are problematic, especially in GHC 9.10.1 due to the `ghc-internal` rewrite. Some occurrences were handled in https://github.com/clash-lang/clash-compiler/commit/e565d26e4db898c4a6cb0abb98276535a1b0058b, but there are quite a few more in `Clash.GHC.Evaluator.Primitive` (c.f....

bgamari

First discovered by @leonschoorl in the GHC 9.10 upgrade PR: https://github.com/clash-lang/clash-compiler/pull/2758#discussion_r1693661419 it turns out that every since the GHC 9.2 series, the `PatError` tests is desugared to: ``` topEntity =...

christiaanb

Keep all casts, and cast `Signal a ~ a` where appropriate

1

christiaanb

`Counter` for `Vec`tors

3

How about something like this? ``` data Endian = BigEndian | LittleEndian newtype Counters (endianness :: Endian) n a = Counters{ getCounters :: Vec n a } deriving (Generic, NFDataX,...

gergoerdi