"Can't find name" message was missing a space
commit7d1297889e31e0522e9877797976e42a9493b6ca
authorBenjamin Hodgson <benjamin.hodgson@huddle.com>
dateThu 24 Sep 2015, 00:14 (11 years ago)
parent8e7216e
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 ()