Comments (3)
leonschoorl
commented on August 27, 2024
1
We're reexporting a lot of things from GHC.TypeLits that we probably shouldn't.
For example since GHC-9.6 this includes: natSing :: KnownNat n => GHC.TypeNats.SNat n
Which uses a SNat that's different from clash-prelude's own Clash.Promoted.Nat.SNat.
from clash-compiler.
DigitalBrains1
commented on August 27, 2024
Ah, we get that as a stray export from GHC.TypeLits. I'm not sure it's even supposed to be exported from our Prelude, but we do
so we get that. The risks of exporting modules you don't control!
from clash-compiler.
DigitalBrains1
commented on August 27, 2024
Fixing any of this is an API change, though :-(
from clash-compiler.
Related Issues (20)
- Don't terminate Verilog simulator on error in assertion functions
- `Clash.Util.Interpolate.i` inserts extra newline on reflow
- `OverridingBool` prevents auto derivation of various classes HOT 2
- 8b/10b decoder sometimes decodes garbage as valid data HOT 2
- More efficient 8b/10b line coding
- On the release of `clash-cores` HOT 3
- Can't set Clash flags in `clashi` HOT 1
- Add `-DCLASH_OPAQUE` to code compiled with `clash-dev` (and `clashi`?)
- DEC transformation creates bad case-expressions for sum-types
- Circuit plugin is not picked up by Clash from the OPTIONS pragma HOT 1
- Consider dropping (?) setting `GHC_PACKAGE_PATH` in `clash-testsuite`
- Potential name collision code
- Clash potentially unreliable on GHC 9.10 on 32-bit hosts
- Clash slow on Windows using GHC 9.8 HOT 3
- Add `maybeResize` (and friends)
- Evaluator.instantiate: Not a tylambda: Lambda ... HOT 1
- Re-export `SNat` from `base`
- CI: Need better way to run all tests
- Allow rich error messages in `clashCompileError` for simulation HOT 1
- `Counter` for `Vec`tors HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from clash-compiler.