Matthew Pickering
Matthew Pickering
I am trying to get any basic extension working so I can work out how to implement a similar extension for the Haskell language server. However, I can't get the...
The HTML generated by folium is quite verbose which leads to big files when you have 2000 markers for example. * The javascript is not separate from the HTML which...
The compiler doesn't terminate type checking the following program. The problem appears to arise from using the bound variable `n` which has type `[ε]{Unit}` as an argument to the constructor...
The following program triggers an error due to an incomplete pattern match. I haven't dug into why yet. The crucial part is that `Card` is a datatype which contains a...
In an email with Craig, he pointed out a workaround to a problem I had been having. Playing around with his workaround highlighted an inconsistency with how patterns are type...
If I have a program without a definition for `main` but have a type signature then an error is triggered. ``` main : { [Console]Unit } ``` ``` frank: ppDef...
These commits add some tests I wrote when thinking about #9466 and #9467.
This makes `withShorterPathForNewBuildStore` fit more nicely into the rest of the testing infrastructure. * Move `withShorterPathForNewBuildStore` to `TestM` monad * Move responsibility for passing `--store-dir` to `cabalGArgs` function * Move...
Perhaps we should bundle the latest `Cabal` and `Cabal-syntax` libraries with the `cabal-install` executable data files. Then `cabal-install` can decide whether to build the latest `Cabal` library on the fly...
The `VersionPriority` tests have code along the lines of ``` 8832b2689a (Phil de Joux 2023-12-31 08:52:34 -0500 11) skipIfGhcVersion "== 9.6.3" ```` but the reason seems to be an unrelated...