Moritz Kiefer

Memory management

1

I thought a bit about how memory management in SIL could work, so let’s use this issue to track ideas. 1. The first option would be to use garbage collection....

It would be nice to have a formal description (in the form of some text document) of the operational semantics of SIL that can be used as a reference instead...

Easier multi-participant synchronization in Daml Script

1

Currently it’s non-trivial to synchronize between participants in a Daml Script, see https://discuss.daml.com/t/init-script-on-a-canton-setup/3009/6 for example. If you don’t create a contract or archive it (e.g. a nonconsuming choice) it becomes...

Improve pruning docs and/or behavior in the JSON API

1

The JSON API currently falls over under pruning for the following example: 1. You send a query at offset O1 2. You prune at offset O2 > O1. 3. You...

cabal new-build does not track files added via TH’s addDependentFile

62

### Steps to reproduce * Download https://gist.github.com/cocreature/d07ef6f35f7bd9043db50794fe31e977. * Build using `cabal new-build` * Edit `fileinput` * Try rebuilding using `cabal new-build`. ### Expected behavior `cabal new-build` rebuilds because `fileinput` has...

Failure to link juice

2

Hi, thanks for your work on this! I am trying to build this on [NixOS](nixos.org/) but my attempts so far always fail to link juice: [full log](https://gist.github.com/cocreature/825a077393e64d6f3940b1e7991283af) Any chance you've...

After pondering #367 for a while, this seemed like a nicer solution than providing an option to disable this: wai-app-static is pretty battletested at this point, it’s well maintained, has...