[ new ] Bump version to v0.20.0

keelung.cabal

@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           keelung
-version:        0.19.1
+version:        0.20.0
 synopsis:       DSL for creating zero-knowledge proofs
 description:    Please see the README on GitHub at <https://github.com/btq-ag/keelung#readme>
 category:       Cryptography

package.yaml

@@ -1,5 +1,5 @@
 name: keelung
-version: 0.19.1
+version: 0.20.0
 github: "btq-ag/keelung"
 license: Apache-2.0
 author: "BTQ AG"

src/Keelung.hs

@@ -68,7 +68,7 @@ import Text.Read (readMaybe)
 
 -- | IMPORTANT: The compatibale compiler version of this library, Make sure it's updated and matched accordingly.
 keelungCompilerVersion :: (Int, Int)
-keelungCompilerVersion = (0, 19)
+keelungCompilerVersion = (0, 20)
 
 -- | Patch version of this library
 compilerPatchVersion :: Int
@@ -410,7 +410,6 @@ readKeelungVersion cmd args = do
 -- | Check if the compiler version matches the version of this library
 --   patch number can be different
 checkCompilerVersion :: (Int, Int, Int) -> M ()
-checkCompilerVersion (0, 19, 0) = throwError (VersionMismatchError 0 19 0) -- special case for v0.19.1 against v0.19.0, should be removed in the future
 checkCompilerVersion (major, minor, patch) = do
   if (major, minor) == keelungCompilerVersion && patch >= 0
     then return ()

src/Keelung/Error.hs

@@ -33,7 +33,7 @@ instance Show Error where
   show CannotReadVersionError = "Cannot read the version of the Keelung compiler"
   show (VersionMismatchError major minor patch) =
     "The version of the Keelung compiler is not supported: \n"
-      ++ "  expected range of version: >= v0.19.1 and < v0.20.0, but got v"
+      ++ "  expected range of version: >= v0.20.0 and < v0.21.0, but got v"
       ++ show major
       ++ "."
       ++ show minor