on master help sign in
Tweak coding style.

Dangling/hanging case.

commitb571e631df85a7e99e58db7f5a4defdcee02f573 authorSteven Shaw <steven@steshaw.org> dateFri 8 Sep 2017, 19:59 (9 years ago) parent20236a9
1 file changed+5−4
src/Idris/IBC.hs+5−4
src/Idris/IBC.hs+5−4
@@ -511,10 +511,11 @@ processImports reexp phase fname ar = do
511511 ibcsd <- valIBCSubDir i
512512 ids <- rankedImportDirs fname
513513 putIState (i { imported = f : imported i })
514− let (phase', reexp') = case phase of
515− IBC_REPL True -> (IBC_REPL False, reexp)
516− IBC_REPL False -> (IBC_Building, reexp && re)
517− p -> (p, reexp && re)
514+ let (phase', reexp') =
515+ case phase of
516+ IBC_REPL True -> (IBC_REPL False, reexp)
517+ IBC_REPL False -> (IBC_Building, reexp && re)
518+ p -> (p, reexp && re)
518519 fp <- findIBC ids ibcsd f
519520 logIBC 4 $ "processImports (fp, phase')" ++ show (fp, phase')
520521 case fp of