From b35e54829dc9c75d647f024ccb0817e8802ff126 Mon Sep 17 00:00:00 2001
From: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
Date: Wed, 1 Sep 2021 18:27:57 +0100
Subject: [PATCH] [ cleanup ] use whenJust

---
 src/Idris/ModTree.idr | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Idris/ModTree.idr b/src/Idris/ModTree.idr
index c6b656813..eb413fbb9 100644
--- a/src/Idris/ModTree.idr
+++ b/src/Idris/ModTree.idr
@@ -105,8 +105,7 @@ mkBuildMods : {auto d : Ref DoneMod (StringMap ())} ->
               {auto o : Ref BuildOrder (List BuildMod)} ->
               ModTree -> Core ()
 mkBuildMods mod
-    = maybe (pure ())
-         (\sf =>
+    = whenJust (sourceFile mod) $ \ sf =>
             do done <- get DoneMod
                case lookup sf done of
                     Just _ => pure ()
@@ -119,8 +118,7 @@ mkBuildMods mod
                                 (MkBuildMod sf (nspace mod)
                                             (map nspace (deps mod)) :: bo)
                           done <- get DoneMod
-                          put DoneMod (insert sf () done))
-         (sourceFile mod)
+                          put DoneMod (insert sf () done)
 
 -- Given a main file name, return the list of modules that need to be
 -- built for that main file, in the order they need to be built