diff --git a/inferno-types/CHANGELOG.md b/inferno-types/CHANGELOG.md index 5930ef8..bc3fb02 100644 --- a/inferno-types/CHANGELOG.md +++ b/inferno-types/CHANGELOG.md @@ -1,6 +1,9 @@ # Revision History for inferno-types *Note*: we use https://pvp.haskell.org/ (MAJOR.MAJOR.MINOR.PATCH) +## 0.4.2.0 -- 2024-03-18 +* Re-order `TRecord` in `InfernoType` so that existing serialization doesn't break + ## 0.4.1.0 -- 2024-03-18 * HLint everything diff --git a/inferno-types/inferno-types.cabal b/inferno-types/inferno-types.cabal index fdae2ae..95ec70a 100644 --- a/inferno-types/inferno-types.cabal +++ b/inferno-types/inferno-types.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: inferno-types -version: 0.4.1.0 +version: 0.4.2.0 synopsis: Core types for Inferno description: Core types for the Inferno language category: DSL,Scripting diff --git a/inferno-types/src/Inferno/Types/Syntax.hs b/inferno-types/src/Inferno/Types/Syntax.hs index 59e4738..d3c6ebb 100644 --- a/inferno-types/src/Inferno/Types/Syntax.hs +++ b/inferno-types/src/Inferno/Types/Syntax.hs @@ -279,12 +279,12 @@ data InfernoType | TBase BaseType | TArr InfernoType InfernoType | TArray InfernoType - | -- | A record type containing *at least* the given fields (with types) and a row variable representing any potential other fields - TRecord (Map.Map Ident InfernoType) RestOfRecord | TSeries InfernoType | TOptional InfernoType | TTuple (TList InfernoType) | TRep InfernoType + | -- | A record type containing *at least* the given fields (with types) and a row variable representing any potential other fields + TRecord (Map.Map Ident InfernoType) RestOfRecord deriving (Show, Eq, Ord, Data, Generic, ToJSON, FromJSON, NFData, Hashable) deriving anyclass (Serialize)