Michael Neumann
Michael Neumann
* This allows to get notified about the selected `pkid` for a given `Publish` message. * The purpose of this is be able to wait for PubAck (QoS=1) or PubComp...
* No longer panics when a PubAck, PubComp or PubRec paket is received with a `pkid` outside of the inflight range. * Avoid cloning `Publish` messages with QoS=1 or QoS=2....
For an almost empty project, it takes about 32 seconds to compile. ``` > savi build --print-perf spec 9 ms : manifests 764 ms : load 1 ms : populate_types...
What is the correct way of installing savi to a system location? I copied `build/savi-debug` to `/usr/local/bin/savi`. When I run `savi` in a directory containing a `manifest.savi`, I get: ```...
[Helix Editor](https://helix-editor.com/) is a quite capable Kakoune/sam-like text editor written in Rust, that has LSP and many other goodies built in. Add syntax-highlighting support for Savi to Helix.
Rust has `todo!` or `unimplemented!` macros, both of which panic when executed. In addition, I often find myself adding comments like `XXX`, `TODO`, `FIXME` or `TBD` in the code and...
The code that is failing: ```savi :module Helper(T, S=USize) :fun sum(ary Array(T), start S = 0) S :yields for S accum = start ary.each -> (elm | accum += yield...
Enhance `savi format` to add the inferred types to all declarations that omit these. Add an option to revert this operation, i.e. remove all (unnecessary) type annotations that can be...
This is not ready for merging! Just to share with you guys. A connection to a locally running postgres server is established and a simple query is run over and...
A document that describes the syntax and semantics of Savi (in a non-formal way).