Commit 57005500 authored by John van Groningen's avatar John van Groningen
Browse files

use 'Error: ' instead of '[Backend]' in the backend too old

or new error messages, so that the IDE recognizes this as an
error instead of info.
parent a0ec8db8
......@@ -15,11 +15,11 @@ checkVersion VersionsAreCompatible errorFile
= (True, errorFile)
checkVersion VersionObservedIsTooNew errorFile
# errorFile
= fwrites "[Backend] the back end library is too new\n" errorFile
= fwrites "Error: the back end library is too new\n" errorFile
= (False, errorFile)
checkVersion VersionObservedIsTooOld errorFile
# errorFile
= fwrites "[Backend] the back end library is too old\n" errorFile
= fwrites "Error: the back end library is too old\n" errorFile
= (False, errorFile)
backEndInterface :: !{#Char} [{#Char}] !ListTypesOption !{#Char} !PredefinedSymbols !FrontEndSyntaxTree !Int !*VarHeap !*AttrVarHeap !*File !*Files -> (!Bool, !*VarHeap, !*AttrVarHeap, !*File, !*Files)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment