further drive home the incompatibility of mismatched TTC versions whe…

…n listing all packages
idris-lang · Dec 17, 2024 · aa09193 · aa09193
1 parent 1316f58
commit aa09193
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/src/Idris/Package.idr b/src/Idris/Package.idr
@@ -335,7 +335,6 @@ reason : Maybe PkgVersion -> String
 reason Nothing  = "no matching version is installed"
 reason (Just x) = "assigned version \{show x} which is out of bounds"
 
-
 printResolutionError : ResolutionError -> String
 printResolutionError (MkRE ds d v) = go [<] ds
   where go : SnocList String -> List Candidate -> String

diff --git a/src/Idris/SetOptions.idr b/src/Idris/SetOptions.idr
@@ -187,14 +187,14 @@ listPackages
     pkgTTCVersions (MkPkgDir _ _ _ ttcVersions) =
       pretty0 "├ TTC Versions:" <++> prettyTTCVersions
       where
-        colorize : Int -> Doc IdrisAnn
-        colorize version =
+        annotate : Int -> Doc IdrisAnn
+        annotate version =
           if version == ttcVersion
              then pretty0 $ show version
-             else warning (pretty0 $ show version)
+             else warning ((pretty0 $ show version) <++> (parens "incompatible"))
 
         prettyTTCVersions : Doc IdrisAnn
-        prettyTTCVersions = (concatWith (\x,y => x <+> "," <++> y)) $ colorize <$> sort ttcVersions
+        prettyTTCVersions = (concatWith (\x,y => x <+> "," <++> y)) $ annotate <$> sort ttcVersions
 
     pkgPath : String -> Doc IdrisAnn
     pkgPath path = pretty0 "└ \{path}"