From f862c3ede7d6e0e43957881ff3dc920959ea7b10 Mon Sep 17 00:00:00 2001 From: Michael Smith Date: Wed, 6 Apr 2016 11:13:20 -0700 Subject: [PATCH] Update version note --- README.md | 2 +- src/LiquidHaskell/Cabal.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 7ef8a72..7f87967 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ During the post-build phase, the hook will check whether this flag is enabled and, if it is, will run the LiquidHaskell binary with the appropriate command line arguments and your package's source files. This assumes, of course, that the LiquidHaskell binary is installed and available in `$PATH` (please make -sure you have the latest stable version installed). +sure you have a version >= 0.6.0.0 installed). Via stack, this flag can be enabled on the fly with `--flag :liquidhaskell`; for example: diff --git a/src/LiquidHaskell/Cabal.hs b/src/LiquidHaskell/Cabal.hs index d4d75d8..643b731 100644 --- a/src/LiquidHaskell/Cabal.hs +++ b/src/LiquidHaskell/Cabal.hs @@ -33,7 +33,7 @@ -- enabled and, if it is, will run the LiquidHaskell binary with the -- appropriate command line arguments and your package's source files. This -- assumes, of course, that the LiquidHaskell binary is installed and available --- in @$PATH@ (please make sure you have the latest stable version installed). +-- in @$PATH@ (please make sure you have a version >= 0.6.0.0 installed). -- -- Via stack, this flag can be enabled on the fly with -- @--flag :liquidhaskell@; for example: