Comments (4)
Yo, @sa2257: for future reference, you can use a code block (```) to preserve line wrapping in pastes like these.
from dahlia.
Oh yes!! Thanks!
from dahlia.
Reassignment type checking was implemented incorrectly IMO. Both examples now fail on master. We need to formalize addition on index types before either example will work.
from dahlia.
Views subsume this
from dahlia.
Related Issues (20)
- Add `@bound` attribute for loops with statically known bounds. HOT 1
- [Calyx] Don't generate conflicting assignments when lowering unrolled loops
- `split` views not lowered correctly
- [Calyx] Generate non-combinational reads for memories HOT 2
- Support for Constants and Dynamic Loops HOT 4
- Typechecker isSubtype does not handle alias type
- Typechecker Issue HOT 3
- Split views bypass typechecker and allow incorrect loop unrolling
- Parse error in let expression for bitwidth 32 and above
- Test has incorrect lowering HOT 3
- Parse issue for hexadecimal literals in cast expressions
- Issue in C++ backend when passing local array to function
- Question about using functions in unrolled loop HOT 1
- Scala 3 Migration HOT 1
- Possible regression: Incorrect Calyx IR generated for seq_mem_d1 HOT 6
- Idea to support for Records in the Calyx Backend HOT 4
- Dahlia's documentation publishing flow
- Scala 3 Migration Follow up: Context Parameters HOT 2
- Calyx back-end issues HOT 2
- About RTL interop with Dahlia via Calyx HOT 1
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 dahlia.