Implement new syntactic-sugar for skip_to(). Allows specifying the offset directly on a register

1 files changed, 4 insertions, 3 deletions

diff --git a/src/Language/Fiddle/Compiler/ConsistencyCheck.hs b/src/Language/Fiddle/Compiler/ConsistencyCheck.hs
index c4924da..369aa02 100644
--- a/src/Language/Fiddle/Compiler/ConsistencyCheck.hs
+++ b/src/Language/Fiddle/Compiler/ConsistencyCheck.hs
@@ -194,15 +194,15 @@ advanceObjTypeBody (ObjTypeBody us decls a) startOffset = do
                         span = Present (FieldSpan offset size)
                         qmeta' = fmap (\q -> q {regSpan = span}) qmeta
                     doReturn (BufferDecl qmeta' (Guaranteed ident) sz' a) size
-                  (RegisterDecl qmeta mod ident size Nothing a) -> do
+                  (RegisterDecl qmeta mod ident size Vacant Nothing a) -> do
                     let declaredSize = regSzToBits (getLeft size)
                     reifiedSizeBytes <- checkBitsSizeMod8 a declaredSize
 
                     let span = Present (FieldSpan offset reifiedSizeBytes)
                         qmeta' = fmap (\q -> q {regSpan = span}) qmeta
-                    doReturn (RegisterDecl qmeta' mod ident (changeRight size) Nothing a)
+                    doReturn (RegisterDecl qmeta' mod ident (changeRight size) Vacant Nothing a)
                       =<< checkBitsSizeMod8 a declaredSize
-                  (RegisterDecl qmeta mod ident size (Just body) a) -> do
+                  (RegisterDecl qmeta mod ident size Vacant (Just body) a) -> do
                     let declaredSize = regSzToBits (getLeft size)
 
                     (actualSize, body') <- advanceRegisterBody 0 body
@@ -218,6 +218,7 @@ advanceObjTypeBody (ObjTypeBody us decls a) startOffset = do
                           mod
                           ident
                           (changeRight size)
+                          Vacant
                           (Just body')
                           a
                       )