diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-10-03 12:28:08 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-10-03 12:29:12 -0600 |
| commit | ae5ea355a32eff2b1b1762f4ac2389d94f388df7 (patch) | |
| tree | 51f731607fb2d0b4814d07ed9b196c47e1778d32 /src/Language/Fiddle/Ast | |
| parent | da5d0ed5b572b1fbff2f9b6c2016b7bd508b43e8 (diff) | |
| download | fiddle-ae5ea355a32eff2b1b1762f4ac2389d94f388df7.tar.gz fiddle-ae5ea355a32eff2b1b1762f4ac2389d94f388df7.tar.bz2 fiddle-ae5ea355a32eff2b1b1762f4ac2389d94f388df7.zip | |
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.
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'. |