summaryrefslogtreecommitdiff
path: root/src/Language/Fiddle/Compiler/ConsistencyCheck.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Language/Fiddle/Compiler/ConsistencyCheck.hs')
-rw-r--r--src/Language/Fiddle/Compiler/ConsistencyCheck.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Language/Fiddle/Compiler/ConsistencyCheck.hs b/src/Language/Fiddle/Compiler/ConsistencyCheck.hs
index 6a3b5d9..a8d9758 100644
--- a/src/Language/Fiddle/Compiler/ConsistencyCheck.hs
+++ b/src/Language/Fiddle/Compiler/ConsistencyCheck.hs
@@ -266,8 +266,7 @@ bitsTypeSize
QMdP (ExportedBitsDecl {exportedBitsDeclSizeBits = sz})
} = return sz
bitsTypeSize (RegisterBitsReference {}) = error "should be exhaustive"
-bitsTypeSize (RegisterBitsJustBits expr _) =
- expressionToIntM expr
+bitsTypeSize (RegisterBitsJustBits expr _) = return $ trueValue expr
checkSizeMismatch :: (NamedUnit u) => A -> N u -> N u -> Compile s ()
checkSizeMismatch _ a b | a == b = return ()