From 8082f91fd9fd1bdcbde5ebf74ed4710cdbb0c6c5 Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Fri, 11 Oct 2024 14:51:37 -0600 Subject: Change register identifiers to Guarantee a value in qualification. This remove the burden of generating names from the backend. --- src/Language/Fiddle/Ast/Internal/SyntaxTree.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/Language/Fiddle/Ast/Internal/SyntaxTree.hs') 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. -- cgit