From ae5ea355a32eff2b1b1762f4ac2389d94f388df7 Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Thu, 3 Oct 2024 12:28:08 -0600 Subject: Add empty qualification stage. This stage will be responsible for qualifying all types and attaching necessary metadata to make the job of later stages much easier. --- src/Language/Fiddle/Ast/Internal/Stage.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/Language/Fiddle/Ast') diff --git a/src/Language/Fiddle/Ast/Internal/Stage.hs b/src/Language/Fiddle/Ast/Internal/Stage.hs index 17ec9f2..f175fc4 100644 --- a/src/Language/Fiddle/Ast/Internal/Stage.hs +++ b/src/Language/Fiddle/Ast/Internal/Stage.hs @@ -19,6 +19,7 @@ data Stage = Parsed | ImportsResolved | Expanded + | Qualified | Checked | End deriving (Typeable) @@ -30,7 +31,8 @@ type family StageToNumber (s :: Stage) :: Natural where StageToNumber Parsed = 1 StageToNumber ImportsResolved = 2 StageToNumber Expanded = 3 - StageToNumber Checked = 4 + StageToNumber Qualified = 4 + StageToNumber Checked = 5 -- | A type-level constraint that checks if one compilation stage precedes another. -- It compares the numeric values associated with each stage using 'CmpNat'. -- cgit