Fix typo (parameterss) in error message

GaloisInc · Feb 2, 2024 · 9be52cc · 9be52cc
1 parent ca0eb7e
commit 9be52cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Cryptol/TypeCheck/Error.hs b/src/Cryptol/TypeCheck/Error.hs
@@ -470,7 +470,7 @@ instance PP (WithNames Error) where
         addTVarsDescsAfter names err $
         nested "Malformed type."
           ("Type synonym" <+> nm t <+> "was applied to" <+>
-            pl extra "extra parameters" <.> text ".")
+            pl extra "extra parameter" <.> text ".")
 
       TooFewTyParams t few ->
         addTVarsDescsAfter names err $