Merge pull request #2655 from benjamin-hodgson/patch-1
"Can't find name" message was missing a space
commitc1396aa742fc9a999fbc8ecd17e121004577475b
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 24 Sep 2015, 07:51 (11 years ago)
parent8e7216e7d12978
src/Idris/Elab/Term.hs+1−1
@@ -1621,7 +1621,7 @@ findHighlight n = do ctxt <- get_context
16211621 Nothing -> case lookupTyExact n ctxt of
16221622 Just _ -> return $ AnnName n Nothing Nothing Nothing
16231623 Nothing -> lift . tfail . InternalMsg $
1624− "Can't find name" ++ show n
1624+ "Can't find name " ++ show n
16251625
16261626-- Try again to solve auto implicits
16271627solveAuto :: IState -> Name -> Bool -> (Name, [FailContext]) -> ElabD ()