diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-10-19 01:05:10 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-10-19 01:05:10 -0600 |
| commit | e9ed9fe9aae2c0ac913cf1d175166e983e0a1b30 (patch) | |
| tree | 77ef1aaccd3527c06edff1c3120147150829bf3f /src/Language/Fiddle/Compiler/ConsistencyCheck.hs | |
| parent | e753d874458dce4ad480caba97fde8b73d703821 (diff) | |
| download | fiddle-e9ed9fe9aae2c0ac913cf1d175166e983e0a1b30.tar.gz fiddle-e9ed9fe9aae2c0ac913cf1d175166e983e0a1b30.tar.bz2 fiddle-e9ed9fe9aae2c0ac913cf1d175166e983e0a1b30.zip | |
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.
Diffstat (limited to 'src/Language/Fiddle/Compiler/ConsistencyCheck.hs')
| -rw-r--r-- | src/Language/Fiddle/Compiler/ConsistencyCheck.hs | 3 |
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 () |