diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 13:17:39 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 13:17:39 -0600 |
| commit | 9af1d30c8cd6aef509736e1ecb6e77b47338b98d (patch) | |
| tree | 59f638267e773f200bf261e5edce42c9741988fc /src/Language/Fiddle/Compiler/ConsistencyCheck.hs | |
| parent | cef70019330bb482a1418c026c57045ed731d51b (diff) | |
| download | fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.tar.gz fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.tar.bz2 fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.zip | |
Prefer GADT's over typ families for some SyntaxTree elements.
Diffstat (limited to 'src/Language/Fiddle/Compiler/ConsistencyCheck.hs')
| -rw-r--r-- | src/Language/Fiddle/Compiler/ConsistencyCheck.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Language/Fiddle/Compiler/ConsistencyCheck.hs b/src/Language/Fiddle/Compiler/ConsistencyCheck.hs index 903e6f4..a4f252e 100644 --- a/src/Language/Fiddle/Compiler/ConsistencyCheck.hs +++ b/src/Language/Fiddle/Compiler/ConsistencyCheck.hs @@ -77,7 +77,7 @@ deriving instance AdvanceStage S FiddleDecl instance AdvanceStage S FiddleUnit where advanceStage () fu@(FiddleUnit _ decls a) = - FiddleUnit (getUnitInterface fu) <$> mapM (advanceStage ()) decls <*> pure a + FiddleUnit (Present $ getUnitInterface fu) <$> mapM (advanceStage ()) decls <*> pure a where getUnitInterface = execWriter . walk_ doWalk @@ -102,7 +102,7 @@ instance AdvanceStage S FiddleUnit where tell (UnitInterface.singleton d) | (Just (ImportStatement {importInterface = ii})) <- castTS t -> - tell (UnitInterface mempty (dependencies ii)) + tell (UnitInterface mempty (dependencies (unwrap ii))) _ -> return () castTS :: |