Comments (3)
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.
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.
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.