Comments (2)
isn't this solved by #201 / #224 ? /cc @emmorais @porcuquine
from lurk-rs.
Actually, no. There are two ways to fix the manifest problem, both of which need to be done.
The first is that a runtime error shouldn't cause the REPL to exit (with error). This is what #217 was going to fix. I'll make a PR fixing this in just a minute. [UPDATE: #236]
The second is that #201 doesn't actually cause evaluation of (1 . 1)
to be an explicit error. It did revamp how those errors are handled, but didn't fix the case named in this issue. (It's very hard to tell from the diff whether it fixed any case, and no test was added. If we identify that some behavior was changed, we'll need to add a test and also ensure it's fixed in the circuit. I'm planning to work on the errors generally, and will include this in the set of case that need fixing in and out of circuit.)
from lurk-rs.
Related Issues (20)
- Chain server
- expose minimal bit operations
- move sha256 coprocessor out of lurk crate HOT 1
- Avoid dangling symbols
- Optimize memory usage in `ZDag` functions
- Nightly run failed HOT 1
- chore: some installed deps are not needed
- Nightly run failed
- Migrate to `tonic_rpc`
- `call` and `chain` meta-commands should take one argument
- Coroutine support for `Op::Recv` and `Op::Emit`
- Move `lang` and `prove_from_frames` to the `Prover` trait
- [LUR-37] Supernova benchmarking gap HOT 1
- A better design for Z data
- Expand `chain` and `call` to use generic callables
- Chain server pt2
- chore: rust toolchain needs an upgrade
- Nightly run failed HOT 119
- error: inline assembly requires more registers than available HOT 2
- chore: rust toolchain needs an upgrade
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 lurk-rs.