diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 14:51:37 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 14:51:37 -0600 |
| commit | 8082f91fd9fd1bdcbde5ebf74ed4710cdbb0c6c5 (patch) | |
| tree | 0a2501639550a19c8c2914a601eeddad52443236 /src/Language/Fiddle/Ast/Internal/SyntaxTree.hs | |
| parent | 5092619a63058d6b4a895ecdaef31fec7a8da4cc (diff) | |
| download | fiddle-8082f91fd9fd1bdcbde5ebf74ed4710cdbb0c6c5.tar.gz fiddle-8082f91fd9fd1bdcbde5ebf74ed4710cdbb0c6c5.tar.bz2 fiddle-8082f91fd9fd1bdcbde5ebf74ed4710cdbb0c6c5.zip | |
Change register identifiers to Guarantee a value in qualification.
This remove the burden of generating names from the backend.
Diffstat (limited to 'src/Language/Fiddle/Ast/Internal/SyntaxTree.hs')
| -rw-r--r-- | src/Language/Fiddle/Ast/Internal/SyntaxTree.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs index 6f67149..610fdb2 100644 --- a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs +++ b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs @@ -452,8 +452,10 @@ data ObjTypeDecl stage f a where regOffset :: RegisterOffset stage, -- | Optional register modifier. regModifier :: Maybe (Modifier f a), - -- | Optional register identifier. - regIdent :: Maybe (Identifier f a), + -- | Optional register identifier. This is guaranteed to exist after + -- Qualification, where a generated identifier will be provided if it + -- doesn't exist. + regIdent :: Guaranteed (stage .>= Qualified) (Identifier f a), -- | Size of the register. regSize :: Expression stage f a, -- | Optional register body. |