20 Dec
2024
20 Dec
'24
4:33 p.m.
Minh Le
Hi Ben, The missing module FPFloat is something related in the naming of the file. Currently, I am developing this library in Window and test it with both Window and Linux WSL. In Linux, it has stricter naming, so that you have to rename file fpfloat.hs and proto.hs into FPFloat.hs and Proto.hs. It is mentioned in the discussion in the Cabal issue, which I have included the link.
Hi Minh, I have tried reproducing this under a Debian 11 VM yet strangely it built without any trouble. I checked a few hypotheses yet nothing obvious seems wrong. I have pushed my full reproducer here [1]. I will try again under Windows when I get a chance. Cheers, - Ben [1] https://github.com/bgamari/FloPoCoFloat/tree/wip/repro