Nathan Waivio
Nathan Waivio
Changing: ``` -- | 'tol' currently 128*eps tol :: Cl3 {-# INLINE tol #-} tol = R 1.4210854715202004e-14 tol' :: Double {-# INLINE tol' #-} tol' = 1.4210854715202004e-14 ``` to:...
Ok, Will do. It might take awhile until I can get the data because I'm away from my workstation for a month or so.
I was able to get Liquid Haskell to successfully analyze my project. In addition to what was stated above. I had to remove the Storable Instance via CPP and use...
@brandon-leapyear , I found the same problem, and pushed PR#28 but am concerned that this package is not actively maintained. My fork might work: [https://github.com/waivio/text-format](https://github.com/waivio/text-format)