From e9ed9fe9aae2c0ac913cf1d175166e983e0a1b30 Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Sat, 19 Oct 2024 01:05:10 -0600 Subject: Provide more data during qualification about how a path is qualified. Now it includes information about the package a symobl is in. The object its in and the register its in. This allows better code generation in the backend that's somewhat more organized. --- src/Language/Fiddle/Compiler/ConsistencyCheck.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/Language/Fiddle/Compiler/ConsistencyCheck.hs') 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 () -- cgit