diff options
Diffstat (limited to 'src/Language/Fiddle/Ast')
| -rw-r--r-- | src/Language/Fiddle/Ast/Internal/Stage.hs | 4 |
1 files changed, 3 insertions, 1 deletions
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'. |