ignore notes when deciding to show a group

fix #1

TAP.idr

@@ -332,11 +332,10 @@ mutual
   filterMatch1 : String -> Test -> Maybe Test
   filterMatch1 pat test@(One base) =
     guard (pat `isInfixOf` base.label) $> test
-  filterMatch1 pat all@(Group label tests) =
-    if pat `isInfixOf` label then Just all else
-    case filterMatch (Just pat) tests of
-         []  => Nothing
-         res => Just $ Group label res
+  filterMatch1 pat whole@(Group label tests) =
+    if pat `isInfixOf` label then Just whole else
+    let res = filterMatch (Just pat) tests in
+    guard (any isRealTest res) $> Group label res
   filterMatch1 pat note@(Note _) = Just note
 
 

flake.lock

@@ -114,11 +114,11 @@
     },
     "flake-utils": {
       "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+        "lastModified": 1667395993,
+        "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f",
         "type": "github"
       },
       "original": {

flake.nix

@@ -5,7 +5,6 @@
 
     flake-utils = {
       url = "github:numtide/flake-utils";
-      inputs.nixpkgs.follows = "nixpkgs";
     };
 
     idris2-pkgs = {