@@ -62,11 +62,11 @@ import qualified Options.Applicative
6262
6363-- | Supported version strings
6464data StandardVersion
65- = V_4_0_0
66- -- ^ Version "4 .0.0"
65+ = V_5_0_0
66+ -- ^ Version "5 .0.0"
6767
6868defaultStandardVersion :: StandardVersion
69- defaultStandardVersion = V_4_0_0
69+ defaultStandardVersion = V_5_0_0
7070
7171parseStandardVersion :: Parser StandardVersion
7272parseStandardVersion =
@@ -80,7 +80,7 @@ parseStandardVersion =
8080 readVersion = do
8181 string <- Options.Applicative. str
8282 case string :: Text of
83- " 4 .0.0" -> return V_4_0_0
83+ " 5 .0.0" -> return V_5_0_0
8484 _ -> fail " Unsupported version"
8585
8686{-| Convert a function applied to multiple arguments to the base function and
@@ -827,7 +827,7 @@ decodeWithVersion term = do
827827 fail (" Cannot decode the version from this decoded CBOR expression: " <> show term)
828828
829829 case version of
830- " 4 .0.0" -> do
830+ " 5 .0.0" -> do
831831 return ()
832832 _ -> do
833833 fail (" This decoded version is not supported: " <> Data.Text. unpack version)
@@ -840,8 +840,8 @@ decodeWithVersion term = do
840840
841841-- | Encode a Dhall expression using the specified `Version`
842842encodeWithVersion :: StandardVersion -> Expr s Import -> Term
843- encodeWithVersion V_4_0_0 expression =
844- TList [ TString " 4 .0.0" , encode expression ]
843+ encodeWithVersion V_5_0_0 expression =
844+ TList [ TString " 5 .0.0" , encode expression ]
845845
846846data DecodingFailure
847847 = CannotDecodeVersionString Term
0 commit comments