Add liquid haskell checks for the `flight-gap` package

GlideAngle / flare-timing

Scoring for free flight competitions.

Mozilla Public License 2.0

11 stars 2 forks source link

Add liquid haskell checks for the `flight-gap` package #46

Open philderbeast opened 6 years ago

philderbeast commented 6 years ago

Add liquid haskell checks for the flight-gap package.

philderbeast commented 6 years ago

> ./stack-shake-build.sh liquid-gap
...
# stack (for liquid-gap)
LiquidHaskell Version 0.8.2.4
Copyright 2013-18 Regents of the University of California. All Rights Reserved.

liquid: Flight.Gap.Ratio.Goal: Ambiguous module name ‘Control.Newtype’:
  it was found in multiple packages:
  newtype-0.2 newtype-generics-0.5.3

philderbeast commented 6 years ago

Logged The sort (GHC.Real.Ratio int) is not numeric as an issue with liquid haskell.

philderbeast commented 4 years ago

https://github.com/awakesecurity/liquidhaskell-cabal