dhall 1.20.0 → 1.20.1
raw patch · 7 files changed
+22/−13 lines, 7 filesdep ~ansi-terminaldep ~http-clientPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: ansi-terminal, http-client
API changes (from Hackage documentation)
- Dhall: instance Dhall.Inject a => Dhall.Inject (GHC.Maybe.Maybe a)
- Dhall: instance Dhall.Interpret a => Dhall.Interpret (GHC.Maybe.Maybe a)
- Dhall: instance GHC.Exception.Type.Exception Dhall.InvalidType
- Dhall.Binary: V_4_0_0 :: StandardVersion
- Dhall.Binary: instance GHC.Exception.Type.Exception Dhall.Binary.DecodingFailure
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.CannotImportHTTPURL
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.Cycle
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.HashMismatch
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.ImportResolutionDisabled
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.MissingEnvironmentVariable
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.MissingFile
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.MissingImports
- Dhall.Import: instance GHC.Exception.Type.Exception Dhall.Import.ReferentiallyOpaque
- Dhall.Import: instance GHC.Exception.Type.Exception e => GHC.Exception.Type.Exception (Dhall.Import.Imported e)
- Dhall.Parser: instance GHC.Exception.Type.Exception Dhall.Parser.ParseError
- Dhall.TypeCheck: instance (GHC.Classes.Eq a, Data.Text.Prettyprint.Doc.Internal.Pretty s, Data.Text.Prettyprint.Doc.Internal.Pretty a, Data.Typeable.Internal.Typeable s, Data.Typeable.Internal.Typeable a) => GHC.Exception.Type.Exception (Dhall.TypeCheck.DetailedTypeError s a)
- Dhall.TypeCheck: instance (GHC.Classes.Eq a, Data.Text.Prettyprint.Doc.Internal.Pretty s, Data.Text.Prettyprint.Doc.Internal.Pretty a, Data.Typeable.Internal.Typeable s, Data.Typeable.Internal.Typeable a) => GHC.Exception.Type.Exception (Dhall.TypeCheck.TypeError s a)
+ Dhall: instance Dhall.Inject a => Dhall.Inject (GHC.Base.Maybe a)
+ Dhall: instance Dhall.Interpret a => Dhall.Interpret (GHC.Base.Maybe a)
+ Dhall: instance GHC.Exception.Exception Dhall.InvalidType
+ Dhall.Binary: V_5_0_0 :: StandardVersion
+ Dhall.Binary: instance GHC.Exception.Exception Dhall.Binary.DecodingFailure
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.CannotImportHTTPURL
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.Cycle
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.HashMismatch
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.ImportResolutionDisabled
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.MissingEnvironmentVariable
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.MissingFile
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.MissingImports
+ Dhall.Import: instance GHC.Exception.Exception Dhall.Import.ReferentiallyOpaque
+ Dhall.Import: instance GHC.Exception.Exception e => GHC.Exception.Exception (Dhall.Import.Imported e)
+ Dhall.Parser: instance GHC.Exception.Exception Dhall.Parser.ParseError
+ Dhall.TypeCheck: instance (GHC.Classes.Eq a, Data.Text.Prettyprint.Doc.Internal.Pretty s, Data.Text.Prettyprint.Doc.Internal.Pretty a, Data.Typeable.Internal.Typeable s, Data.Typeable.Internal.Typeable a) => GHC.Exception.Exception (Dhall.TypeCheck.DetailedTypeError s a)
+ Dhall.TypeCheck: instance (GHC.Classes.Eq a, Data.Text.Prettyprint.Doc.Internal.Pretty s, Data.Text.Prettyprint.Doc.Internal.Pretty a, Data.Typeable.Internal.Typeable s, Data.Typeable.Internal.Typeable a) => GHC.Exception.Exception (Dhall.TypeCheck.TypeError s a)
- Dhall: (>$<) :: Contravariant f => (a -> b) -> f b -> f a
+ Dhall: (>$<) :: Contravariant f => a -> b -> f b -> f a
- Dhall: InputType :: (a -> Expr Src X) -> Expr Src X -> InputType a
+ Dhall: InputType :: a -> Expr Src X -> Expr Src X -> InputType a
- Dhall: InterpretOptions :: (Text -> Text) -> (Text -> Text) -> InterpretOptions
+ Dhall: InterpretOptions :: Text -> Text -> Text -> Text -> InterpretOptions
- Dhall: RecordInputType :: Map Text (InputType a) -> RecordInputType a
+ Dhall: RecordInputType :: (Map Text (InputType a)) -> RecordInputType a
- Dhall: RecordType :: Product (Const (Map Text (Expr Src X))) (Compose ((->) (Expr Src X)) Maybe) a -> RecordType a
+ Dhall: RecordType :: (Product (Const (Map Text (Expr Src X))) (Compose ((->) (Expr Src X)) Maybe) a) -> RecordType a
- Dhall: Type :: (Expr Src X -> Maybe a) -> Expr Src X -> Type a
+ Dhall: Type :: Expr Src X -> Maybe a -> Expr Src X -> Type a
- Dhall: rootDirectory :: Functor f => LensLike' f InputSettings FilePath
+ Dhall: rootDirectory :: (Functor f) => LensLike' f InputSettings FilePath
- Dhall: sourceName :: Functor f => LensLike' f InputSettings FilePath
+ Dhall: sourceName :: (Functor f) => LensLike' f InputSettings FilePath
- Dhall.Core: Annot :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: Annot :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: App :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: App :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: BoolAnd :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: BoolAnd :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: BoolEQ :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: BoolEQ :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: BoolIf :: Expr s a -> Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: BoolIf :: (Expr s a) -> (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: BoolNE :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: BoolNE :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: BoolOr :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: BoolOr :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: Combine :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: Combine :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: CombineTypes :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: CombineTypes :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: Constructors :: Expr s a -> Expr s a
+ Dhall.Core: Constructors :: (Expr s a) -> Expr s a
- Dhall.Core: Field :: Expr s a -> Text -> Expr s a
+ Dhall.Core: Field :: (Expr s a) -> Text -> Expr s a
- Dhall.Core: ImportAlt :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: ImportAlt :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: Lam :: Text -> Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: Lam :: Text -> (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: Let :: NonEmpty (Binding s a) -> Expr s a -> Expr s a
+ Dhall.Core: Let :: (NonEmpty (Binding s a)) -> (Expr s a) -> Expr s a
- Dhall.Core: ListAppend :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: ListAppend :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: ListLit :: Maybe (Expr s a) -> Seq (Expr s a) -> Expr s a
+ Dhall.Core: ListLit :: (Maybe (Expr s a)) -> (Seq (Expr s a)) -> Expr s a
- Dhall.Core: Merge :: Expr s a -> Expr s a -> Maybe (Expr s a) -> Expr s a
+ Dhall.Core: Merge :: (Expr s a) -> (Expr s a) -> (Maybe (Expr s a)) -> Expr s a
- Dhall.Core: NaturalPlus :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: NaturalPlus :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: NaturalTimes :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: NaturalTimes :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: Note :: s -> Expr s a -> Expr s a
+ Dhall.Core: Note :: s -> (Expr s a) -> Expr s a
- Dhall.Core: OptionalLit :: Expr s a -> Maybe (Expr s a) -> Expr s a
+ Dhall.Core: OptionalLit :: (Expr s a) -> (Maybe (Expr s a)) -> Expr s a
- Dhall.Core: Pi :: Text -> Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: Pi :: Text -> (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: Prefer :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: Prefer :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: Project :: Expr s a -> Set Text -> Expr s a
+ Dhall.Core: Project :: (Expr s a) -> (Set Text) -> Expr s a
- Dhall.Core: Record :: Map Text (Expr s a) -> Expr s a
+ Dhall.Core: Record :: (Map Text (Expr s a)) -> Expr s a
- Dhall.Core: RecordLit :: Map Text (Expr s a) -> Expr s a
+ Dhall.Core: RecordLit :: (Map Text (Expr s a)) -> Expr s a
- Dhall.Core: Some :: Expr s a -> Expr s a
+ Dhall.Core: Some :: (Expr s a) -> Expr s a
- Dhall.Core: TextAppend :: Expr s a -> Expr s a -> Expr s a
+ Dhall.Core: TextAppend :: (Expr s a) -> (Expr s a) -> Expr s a
- Dhall.Core: TextLit :: Chunks s a -> Expr s a
+ Dhall.Core: TextLit :: (Chunks s a) -> Expr s a
- Dhall.Core: Union :: Map Text (Expr s a) -> Expr s a
+ Dhall.Core: Union :: (Map Text (Expr s a)) -> Expr s a
- Dhall.Core: UnionLit :: Text -> Expr s a -> Map Text (Expr s a) -> Expr s a
+ Dhall.Core: UnionLit :: Text -> (Expr s a) -> (Map Text (Expr s a)) -> Expr s a
- Dhall.Import: hashExpression :: StandardVersion -> Expr s X -> Digest SHA256
+ Dhall.Import: hashExpression :: StandardVersion -> Expr s X -> (Digest SHA256)
- Dhall.Set: Set :: Set a -> Seq a -> Set a
+ Dhall.Set: Set :: (Set a) -> (Seq a) -> Set a
- Dhall.TypeCheck: AlternativeAnnotationMismatch :: Text -> Expr s a -> Const -> Text -> Expr s a -> Const -> TypeMessage s a
+ Dhall.TypeCheck: AlternativeAnnotationMismatch :: Text -> (Expr s a) -> Const -> Text -> (Expr s a) -> Const -> TypeMessage s a
- Dhall.TypeCheck: AnnotMismatch :: Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: AnnotMismatch :: (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantAccess :: Text -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantAccess :: Text -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantAdd :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantAdd :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantAnd :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantAnd :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantEQ :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantEQ :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantInterpolate :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantInterpolate :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantListAppend :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantListAppend :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantMultiply :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantMultiply :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantNE :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantNE :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantOr :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantOr :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantProject :: Text -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantProject :: Text -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CantTextAppend :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CantTextAppend :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: CombineTypesRequiresRecordType :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: CombineTypesRequiresRecordType :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: ConstructorsRequiresAUnionType :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: ConstructorsRequiresAUnionType :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: DetailedTypeError :: TypeError s a -> DetailedTypeError s a
+ Dhall.TypeCheck: DetailedTypeError :: (TypeError s a) -> DetailedTypeError s a
- Dhall.TypeCheck: FieldAnnotationMismatch :: Text -> Expr s a -> Const -> Text -> Expr s a -> Const -> TypeMessage s a
+ Dhall.TypeCheck: FieldAnnotationMismatch :: Text -> (Expr s a) -> Const -> Text -> (Expr s a) -> Const -> TypeMessage s a
- Dhall.TypeCheck: FieldMismatch :: Text -> Expr s a -> Const -> Text -> Expr s a -> Const -> TypeMessage s a
+ Dhall.TypeCheck: FieldMismatch :: Text -> (Expr s a) -> Const -> Text -> (Expr s a) -> Const -> TypeMessage s a
- Dhall.TypeCheck: HandlerInputTypeMismatch :: Text -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: HandlerInputTypeMismatch :: Text -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: HandlerNotAFunction :: Text -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: HandlerNotAFunction :: Text -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: HandlerOutputTypeMismatch :: Text -> Expr s a -> Text -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: HandlerOutputTypeMismatch :: Text -> (Expr s a) -> Text -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: IfBranchMismatch :: Expr s a -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: IfBranchMismatch :: (Expr s a) -> (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: IfBranchMustBeTerm :: Bool -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: IfBranchMustBeTerm :: Bool -> (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidAlternative :: Text -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidAlternative :: Text -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidAlternativeType :: Text -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidAlternativeType :: Text -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidField :: Text -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidField :: Text -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidFieldType :: Text -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidFieldType :: Text -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidHandlerOutputType :: Text -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidHandlerOutputType :: Text -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidInputType :: Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidInputType :: (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidListElement :: Int -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidListElement :: Int -> (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidListType :: Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidListType :: (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidOptionalElement :: Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidOptionalElement :: (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidOptionalType :: Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidOptionalType :: (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidOutputType :: Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidOutputType :: (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidPredicate :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidPredicate :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: InvalidSome :: Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: InvalidSome :: (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: ListAppendMismatch :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: ListAppendMismatch :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: MismatchedListElements :: Int -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: MismatchedListElements :: Int -> (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: MissingField :: Text -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: MissingField :: Text -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: MissingHandler :: Set Text -> TypeMessage s a
+ Dhall.TypeCheck: MissingHandler :: (Set Text) -> TypeMessage s a
- Dhall.TypeCheck: MustCombineARecord :: Char -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: MustCombineARecord :: Char -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: MustMergeARecord :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: MustMergeARecord :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: MustMergeUnion :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: MustMergeUnion :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: NoDependentTypes :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: NoDependentTypes :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: NotAFunction :: Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: NotAFunction :: (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: RecordMismatch :: Char -> Expr s a -> Expr s a -> Const -> Const -> TypeMessage s a
+ Dhall.TypeCheck: RecordMismatch :: Char -> (Expr s a) -> (Expr s a) -> Const -> Const -> TypeMessage s a
- Dhall.TypeCheck: RecordTypeMismatch :: Const -> Const -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: RecordTypeMismatch :: Const -> Const -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: TypeMismatch :: Expr s a -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a
+ Dhall.TypeCheck: TypeMismatch :: (Expr s a) -> (Expr s a) -> (Expr s a) -> (Expr s a) -> TypeMessage s a
- Dhall.TypeCheck: UnusedHandler :: Set Text -> TypeMessage s a
+ Dhall.TypeCheck: UnusedHandler :: (Set Text) -> TypeMessage s a
- Dhall.TypeCheck: X :: (forall a. a) -> X
+ Dhall.TypeCheck: X :: forall a. a -> X
Files
- CHANGELOG.md +9/−0
- Prelude/Monoid +1/−1
- Prelude/package.dhall +1/−1
- dhall.cabal +1/−1
- src/Dhall/Binary.hs +7/−7
- tests/import/success/fieldOrderA.dhall +2/−2
- tests/import/success/issue553B.dhall +1/−1
CHANGELOG.md view
@@ -1,3 +1,12 @@+1.20.1++* BUG FIX: Fix binary encoding to use correct standard version+ * This fixes computed hashes to correctly match standard version 5.0.0+ * This is not marked as a breaking change since it is a bug fix. The+ 1.20.0 release will be blacklisted on Hackage and users should upgrade+ from 1.19.* directly to 1.20.1+ * See: https://github.com/dhall-lang/dhall-haskell/pull/771+ 1.20.0 * Supports version 5.0.0 of the language standard
Prelude/Monoid view
@@ -1,1 +1,1 @@-https://raw.githubusercontent.com/dhall-lang/Prelude/a22da69657b9316a3c51ba0bf80c9d4024db3fce/Monoid sha256:c4ff4f04ce9d3b7b579ff2ac7fe00258d665c701f895493b73082b750b28553d+https://raw.githubusercontent.com/dhall-lang/Prelude/a22da69657b9316a3c51ba0bf80c9d4024db3fce/Monoid sha256:b306524b2f7fedd7dad0d328990e0b6271d93d6f2fbe7156474b757f5d8de187
Prelude/package.dhall view
@@ -1,1 +1,1 @@-https://raw.githubusercontent.com/dhall-lang/Prelude/e9c90396c02f9eb0fe66c00c544615cbfa068f34/package.dhall sha256:534e4a9e687ba74bfac71b30fc27aa269c0465087ef79bf483e876781602a454+https://raw.githubusercontent.com/dhall-lang/Prelude/e9c90396c02f9eb0fe66c00c544615cbfa068f34/package.dhall sha256:26e13b153cb428366610110d4d8f0c135e22b20179d5478bb16b1b83b3f2ca13
dhall.cabal view
@@ -1,5 +1,5 @@ Name: dhall-Version: 1.20.0+Version: 1.20.1 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.0.1
src/Dhall/Binary.hs view
@@ -62,11 +62,11 @@ -- | Supported version strings data StandardVersion- = V_4_0_0- -- ^ Version "4.0.0"+ = V_5_0_0+ -- ^ Version "5.0.0" defaultStandardVersion :: StandardVersion-defaultStandardVersion = V_4_0_0+defaultStandardVersion = V_5_0_0 parseStandardVersion :: Parser StandardVersion parseStandardVersion =@@ -80,7 +80,7 @@ readVersion = do string <- Options.Applicative.str case string :: Text of- "4.0.0" -> return V_4_0_0+ "5.0.0" -> return V_5_0_0 _ -> fail "Unsupported version" {-| Convert a function applied to multiple arguments to the base function and@@ -827,7 +827,7 @@ fail ("Cannot decode the version from this decoded CBOR expression: " <> show term) case version of- "4.0.0" -> do+ "5.0.0" -> do return () _ -> do fail ("This decoded version is not supported: " <> Data.Text.unpack version)@@ -840,8 +840,8 @@ -- | Encode a Dhall expression using the specified `Version` encodeWithVersion :: StandardVersion -> Expr s Import -> Term-encodeWithVersion V_4_0_0 expression =- TList [ TString "4.0.0", encode expression ]+encodeWithVersion V_5_0_0 expression =+ TList [ TString "5.0.0", encode expression ] data DecodingFailure = CannotDecodeVersionString Term
tests/import/success/fieldOrderA.dhall view
@@ -1,5 +1,5 @@ { example0 =- ../data/fieldOrder/1.dhall sha256:4a7866b88389e18cf481b525544fd7903325252faf3a86c8fdc981298c788a9b+ ../data/fieldOrder/1.dhall sha256:261b3aca810973f81175d19b16226aaa5e76df7ea51c5d45e890dd6cdc49abbd , example1 =- ../data/fieldOrder/2.dhall sha256:4a7866b88389e18cf481b525544fd7903325252faf3a86c8fdc981298c788a9b+ ../data/fieldOrder/2.dhall sha256:261b3aca810973f81175d19b16226aaa5e76df7ea51c5d45e890dd6cdc49abbd }
tests/import/success/issue553B.dhall view
@@ -1,1 +1,1 @@-./issue553A.dhall sha256:e2d014696fb7d773727ae5aa42dc20bbd2447ea82bcb5971ccbb7763906edace+./issue553A.dhall sha256:250873549ddd262f27f3b197b2a2631fb569e7bdfe12446fc0912b4a2359a83e