Matt Walker
Matt Walker
This one is very mysterious to me, because I don't have much idea where to start looking, and because I thought I wouldn't have to deal with these kind of...
@ranjitjhala and @ConnorBaker had a conversation where it was brought up that it would be nice to have historical data of benchmark timing runs in the CI. The purpose of...
#1960 disabled a couple of messages, as explicitly stated in the PR. These messages were only meant to print when things were Loud, but seemed to get printed all the...
#1960 disabled a benchmark for `text` because it wouldn't build using cabal/stack for unknown reasons. This should be fixed.
Currently uses a parser that makes a couple of assumptions. Would be nice if `-ddump-json` worked well enough that we could just use a json parser, but this requires ensuring...
When checking `tests/neg/AutoSize.hs`, the folllowing is output: ```text **** LIQUID: UNSAFE ************************************************************ neg/AutoSize.hs:19:1: error: Termination Error AutoSize.expSize No decreasing parameter | 19 | expSize (EConst _) = 0 | ^^^^^^^...
Going to open an issue to track the ignores in [c805dca](https://github.com/ucsd-progsys/liquidhaskell/pull/1946/commits/c805dca951ab5fb4f427d6fb39625367e2ce93ce) and [05cf0f6](https://github.com/ucsd-progsys/liquidhaskell/pull/1946/commits/05cf0f6e60e27ec5d685787061f7aca58934b409) _Originally posted by @Fizzixnerd in https://github.com/ucsd-progsys/liquidhaskell/issues/1946#issuecomment-1084924372_ Tests were failing, and believed to be bugs that were out...
This complicates tools which want to parse the output of the plugin and generate summary data (see #1955 for an example). `src/Language/Haskell/Liquid/UX/CmdLine.hs` has a function `reportResult` that contains this enigmatic...
This complicates parsing the output of GHC, and breaks the contract that is implied by `-ddump-json`. See #1955 for an example of when this comes up. Two things I've found...
As discussed in the issue (#1904), this proceeds with Solution B. I am looking to write more tests for this change, but I'm not quite sure the best way to...