idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-23 19:54:50 +03:00
Code Issues Projects Releases Wiki Activity

[ error message ] include space in missing methods error

Browse Source
This commit is contained in:
Zoe Stafford 2021-06-28 12:30:50 +01:00 committed by G. Allais
parent 60d597fccd
commit af871967ef
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Idris/Elab/Implementation.idr
View File

@ -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