Sharing knowledge about FPGA, Clash and our projects

Since version 7.10.2, GHC supports so-called type-checker plugins which let us extend GHC’s constraint solver, i.e. extend the the range of programs GHC can type check. Several plugins have already been released, the ones I know are: Adam Gundry’s uom-plugin: for supporting units of measure. Iavor Diatchki’s type-nat-solver: which allows you to hook up SMT […]

Cabal 1.22 has preliminary support for relocatable packages, which is actually undocumented because I’m a bad patch writer. Regardless, this preliminary support for relocatable packages partially enables relocatable sandboxes. What’s this partial part you might ask? Well, only the .cabal-sandbox directory is relocatable, not the sandbox config file. So basically the part that takes the […]