Matthías Páll Gissurarson
Matthías Páll Gissurarson
Hey, I'm trying to figure out how ghc-mod works, and I get an error for a case which I believe should work. I have a file named "test.hs" with ```...
Hey! Could you add the option to skip the rendering of breaks? I'd rather have that part of my timeline blank than a big "event" called BREAK.
This adds a call to `punycode.toUnicode` to prettify the *local* domain, changing e.g. `@[email protected]` to `@matti@loðfíll.is`. This happens on the: + local user profile page + the footer + the...
Woke up to a completely locked-up instance. `systemctl status` reported all clear, but a bunch of `ffmpeg` tasks were there and the last update was 8 hours previous. Would be...
Getting this error on the build: ``` Run dante-ev/latex-action@latest /usr/bin/docker run --name ed[8](https://github.com/Tritlo/CSI-Paper/actions/runs/4882683807/jobs/8713054259#step:4:9)66e1b3a6[9](https://github.com/Tritlo/CSI-Paper/actions/runs/4882683807/jobs/8713054259#step:4:10)769d564e278d441b70fe3439f4_da3eef --label ed866e --workdir /github/workspace --rm -e "INPUT_WORKING_DIRECTORY" -e "INPUT_ROOT_FILE" -e "INPUT_ARGS" -e "INPUT_EXTRA_SYSTEM_PACKAGES" -e "INPUT_COMPILER" -e "HOME"...
I've implemented `byteStringToCStringFun` via `byteStringToCStringFunIO`, as mentioned in a TODO.
By using a spectrum-based approach, we get a lot more information on what to repair beyond the current "target anything that has been touched" approach.
In CSI: Haskell, we get a runtime trace whenever we encounter an error. By integrating these into PropR, we should be able to do a lot better when repairing programs...
We are currently using very naive hole-based synthesis. We could integrate the ECTA-based synthesis of expressions for typed-holes as used in the Spectacular paper.
Currently, PropR works on a per-module basis. For PropR to be viable on big project, users must be able point it to a *package*, and PropR will then: 1. Inspect...