From af871967ef3a097e4292825a15f00c0a48c5cb67 Mon Sep 17 00:00:00 2001 From: Zoe Stafford Date: Mon, 28 Jun 2021 12:30:50 +0100 Subject: [PATCH] [ error message ] include space in missing methods error --- src/Idris/Elab/Implementation.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Idris/Elab/Implementation.idr b/src/Idris/Elab/Implementation.idr index abd82e48a..45c73890f 100644 --- a/src/Idris/Elab/Implementation.idr +++ b/src/Idris/Elab/Implementation.idr @@ -205,7 +205,7 @@ elabImplementation {vars} ifc vis opts_in pass env nest is cons iname ps named i log "elab.implementation" 5 $ "Missing methods: " ++ show missing when (not (isNil missing)) $ throw (GenericMsg ifc ("Missing methods in " ++ show iname ++ ": " - ++ showSep "," (map show missing))) + ++ showSep ", " (map show missing))) -- Add the 'using' hints defs <- get Ctxt