don't terminate the repl if rename target doesn't exist

This commit is contained in:
Paul Chiusano 2018-11-11 17:38:20 -05:00
parent 12c2f0f878
commit 1374348994

View File

@ -440,7 +440,7 @@ main dir currentBranchName initialFile startRuntime codebase = do
go' b = go b name
in
case (toList terms, toList types) of
([], []) -> putStrLn "I couldn't find anything by that name."
([], []) -> putStrLn "I couldn't find anything by that name." >> go' branch
([_term], [] ) -> renameTerm branch >>= go'
([] , [_typ]) -> renameType branch >>= go'
([_term], [_typ]) -> do