[ fix ] typo

Author: spcfox

src/TTImp/Impossible.idr

@@ -90,7 +90,7 @@ mutual
             Nothing => -- Expected an explicit argument, but only implicits left
                        do let False = con
                             | True => throw $ GenericMsg (getLoc fn) $
-                                                "Cannot match on a partialy applied constructor: "
+                                                "Cannot match on a partially applied constructor: "
                                                 ++ show !(toFullNames fn)
                           let True = null autos && null named
                             | False => badClause fn [] autos named -- unexpected arguments

tests/idris2/coverage/impossible003/expected

@@ -1,5 +1,5 @@
 1/1: Building Main (Main.idr)
-Warning: Main:2:5--2:6:Cannot match on a partialy applied constructor: Prelude.Types.S
+Warning: Main:2:5--2:6:Cannot match on a partially applied constructor: Prelude.Types.S
 
 Main:2:5--2:6
  1 | foo : Nat -> Nat