hirrolot

I'd like to use the functionality from https://github.com/rust-cli/rexpect/pull/103, but it seems that it's not released on crates.io yet. I would appreciate a new release, are there plans for it to...

**Describe the bug** The `examples/tokio-backend.rs` example yields the following panic: ``` thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: HttpFailWithBody(416, "\nInvalidRangeThe requested range is not satisfiablebytes=100-1000167TS18WEAWPEGE9JY6skPYwF63NhPG7xf1Esex0OGl7Nnz0azPxMw+O8vBhW17O0O5Ej2y101ZQ5foTIc6yVrS+YHjNyoEE9/m3LgDA==")', s3/../examples/tokio-backend.rs:29:10 note:...

Feature Request: `filter_*` => `on_*`

4

Currently, we favour `filter_*` naming, such as `Update::filter_message` or `filter_command` or whatever. I suggest changing that to `Update::on_message`, `on_command`, etc. (However, we should not change `dptree::filter` and its siblings, since...

I've been interested in these two topics lately. At first sight, they seem to be very different (and they are!), but I've started coming to a conjecture that they both...

Implement "startup-time" type checking 🎉

6

This PR introduces the `dptree::type_check` function that makes sure that all types required by `Handler` are present in `DependencyMap`. In order to decide which types are required by `Handler`, we...

A free variable occurs in a rule definition of a residual program

5

I've tried to supercompile the following code (with `spsc-lite-js`): ``` g1(C(x)) = B(); g2(B(), x) = x; g2(g1(x), x) ``` And got the following output: ``` g21(C(v_1)) = x; g21(x)...

Examples of Primus execution

1

I've just read about the [Primus framework](https://binaryanalysisplatform.github.io/bap/api/master/bap-primus/Bap_primus/Std/index.html) and I'm wondering how can I write my own program analysis (in OCaml) that takes advantage of Primus. Are there any tests/examples that...

Thank you for your work on this project. It was really helpful for me to study the code after reading papers on supercompilation. I have a few questions on the...

Understanding the generator

2

I'm having a hard time understanding the generator code (`src/Generator.hs`). The code has a lot of manipulation with variables but only two small comments. In the paper I've found no...