Re-order TRecord in InfernoType to preserve existing serialization (

#106)
plow-technologies · Mar 19, 2024 · 2b4f431 · 2b4f431
1 parent 2541d3e
commit 2b4f431
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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)