Nicolas Jeannerod

Two reserved keywords in a row should be considered both "well separated"?

3

Let us have a look at: ```sh { for foo in a b c; do bar done } ``` refused by Morbig because of the `}` after `done` but accepted...

Stack overflows

2

On the Software Heritage corpus, I still have two stack overflows on not so large files. These are the two last fatal errors in the whole corpus. - [26d4540543376d934ad97c1ad3fd1a7a13879d9b.zip](https://github.com/colis-anr/morbig/files/3028306/26d4540543376d934ad97c1ad3fd1a7a13879d9b.zip) (735K)...

When parsing: ```sh ${foo:-"bar"} ``` Morbig gives: ```json [ "Word", "${foo:-\"bar\"}", [ [ "WordVariable", [ "VariableAtom", "foo", [ "UseDefaultValues", ":-", [ "Word", "\"bar\"", [ [ "WordDoubleQuoted", [ "Word", "\"bar\"", [...

Stack overflow in JSON export on large files full of simple commands

16

To reproduce: ```sh for i in $(seq 30000); do echo foo; done > Stack\ overflow.sh time morbig Stack\ overflow.sh ``` This will create a file with 30k lines of simple...

For instance, there are a few tests that Dash does not pass and that are probably issues that we should report. It would be nice to have an automated way...

C library on byte architectures?

1

Currently, we don't build the C library on byte architecture. Before Dune, we were building it incorrectly. Now we simply don't build it at all. Is there a good reason...

overzZzealous: Non-lazy Semantics of || and && in Plutus Core

28

Hi there, While developping tools with [Hachi][gh:hachi], we noticed something that we believe is a bug in the compiler from Plutus to Plutus Core. Best, Nicolas EDIT: It seems to...

Fix Docker Hub's description

2

Unless I'm terribly mistaken: - the current repository is what is used to push to https://hub.docker.com/r/racket/racket and - the current repository builds its images on `debian:stable-slim`. However, the Docker Hub...

cf https://github.blog/changelog/2021-01-29-github-pages-will-stop-redirecting-pages-sites-from-github-com-after-april-15-2021/