git.iko.soy/elk
on master help sign in
Check that imports actually exist in the known interfaces
a56efd8Evan Czaplicki
compiler/Transform/Canonicalize.hs+4−1
compare with master
unifiedsplit
@@ -50,7 +50,10 @@ renameType rename tipe =
50
50
51metadataModule :: Interfaces -> MetadataModule t v -> Either [Doc] (MetadataModule t v)
51metadataModule :: Interfaces -> MetadataModule t v -> Either [Doc] (MetadataModule t v)
52metadataModule ifaces modul =
52metadataModule ifaces modul =
53+ do _ <- case filter (\m -> Map.notMember m ifaces) (map fst realImports) of
54+ [] -> Right ()
55+ missings -> Left [ P.text $ "The following imports were not found: " ++ List.intercalate ", " missings ]
53− do program' <- rename initialEnv (program modul)
56+ program' <- rename initialEnv (program modul)
54 aliases' <- mapM (third renameType') (aliases modul)
57 aliases' <- mapM (third renameType') (aliases modul)
55 datatypes' <- mapM (third (mapM (second (mapM renameType')))) (datatypes modul)
58 datatypes' <- mapM (third (mapM (second (mapM renameType')))) (datatypes modul)
56 return $ modul { program = program', aliases = aliases', datatypes = datatypes' }
59 return $ modul { program = program', aliases = aliases', datatypes = datatypes' }