on master help sign in
Tweak coding style.
b571e63Steven Shaw
src/Idris/IBC.hs+5−4
@@ -511,10 +511,11 @@ processImports reexp phase fname ar = do
511 ibcsd <- valIBCSubDir i
511 ibcsd <- valIBCSubDir i
512 ids <- rankedImportDirs fname
512 ids <- rankedImportDirs fname
513 putIState (i { imported = f : imported i })
513 putIState (i { imported = f : imported i })
514− let (phase', reexp') = case phase of
514+ let (phase', reexp') =
515+ case phase of
515− IBC_REPL True -> (IBC_REPL False, reexp)
516+ IBC_REPL True -> (IBC_REPL False, reexp)
516− IBC_REPL False -> (IBC_Building, reexp && re)
517+ IBC_REPL False -> (IBC_Building, reexp && re)
517− p -> (p, reexp && re)
518+ p -> (p, reexp && re)
518 fp <- findIBC ids ibcsd f
519 fp <- findIBC ids ibcsd f
519 logIBC 4 $ "processImports (fp, phase')" ++ show (fp, phase')
520 logIBC 4 $ "processImports (fp, phase')" ++ show (fp, phase')
520 case fp of
521 case fp of