From 9af1d30c8cd6aef509736e1ecb6e77b47338b98d Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Fri, 11 Oct 2024 13:17:39 -0600 Subject: Prefer GADT's over typ families for some SyntaxTree elements. --- src/Language/Fiddle/Compiler/ImportResolution.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Language/Fiddle/Compiler/ImportResolution.hs') diff --git a/src/Language/Fiddle/Compiler/ImportResolution.hs b/src/Language/Fiddle/Compiler/ImportResolution.hs index 6ecfc86..2249714 100644 --- a/src/Language/Fiddle/Compiler/ImportResolution.hs +++ b/src/Language/Fiddle/Compiler/ImportResolution.hs @@ -148,7 +148,7 @@ instance AdvanceStage CurrentStage ImportStatement where when (isNothing val) markFatal return $ fromMaybe empty val - return $ ImportStatement path list v a + return $ ImportStatement path list (Present v) a getImportResolutionState :: ( FilePath -> @@ -210,7 +210,7 @@ getImportResolutionState parseFile compileToChecked flags unit = do let doFullCompile = do parsed <- bump (parseFile path) - unitInterface <- addDependency path . fiddleUnitInterface <$> bump (compileToChecked parsed) + unitInterface <- addDependency path . unwrap . fiddleUnitInterface <$> bump (compileToChecked parsed) lift2 $ writeInterfaceFile intf unitInterface return unitInterface -- cgit