Nathan Waivio

Results 4 comments of 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)