Valentin Robert
Valentin Robert
When running tasty via `cabal test` with a failing test, the error message contains the mention: ``` Use -p '/name of some test/' to rerun this test only. ``` This...
Hey, this is kind of a specific quesiton, but I am building a lexer using alex, and the following thing happens: I'm using : ``` %wrapper "monadUserState" ``` And I'd...
Surrounding means to put stuff all around. From that, I'd infer that `surround a [b, c, d]` means either `a b c d a`, or `a b a c a...
Hello, I have a very large document that, when printed, takes about 30 seconds if I define `commas = fillSep . punctuate commas`, but only takes 3 seconds if I...
To reproduce, you can try to use this repository (it's fairly small) https://github.com/Ptival/language-ocaml/commit/0df752cab371a609eb3f6c593b823f1c0f903e98 To try and reproduce (hopefully it's not just my machine): ``` $ nix-shell # wait... [nix-shell] $...
Hello, I am currently building a translation from Cryptol to Coq, and Jennifer Paikin mentioned hs-to-coq. Like in your project, we have developed a tiny Coq AST and pretty-printer. It...
Using `/bin/sh` and `/bin/zsh`, I get the mentioned error. `echo $(sw_vers -productVersion | sed -E "s/^[0-9]+\.([0-9]+)/\\1/")` returns `14.4`
I often find myself having some sort of sequence of lifts I need to do on different values. Modules make it so that I can stash all of those things...
Due to how organically the set of commands evolved, I feel like they are now slightly confusing. In: ``` Lift Module in as . ``` My brain expects the item...
This code: https://github.com/codedownio/aeson-typescript/blob/16d6c2a40730fdc72784ca70391b68c5086d78a1/src/Data/Aeson/TypeScript/Instances.hs#L114-L116 seems to assume `aeson` generates maps for `Data.Map`. This does not appear to be the case. Since JavaScript maps must be keyed by strings, `aeson` instead generates...