FailedChanges

Summary

  1. Check for numeric types with unary + and -, fixes #724 (details)
Commit 33a4bc1ea4510a09bda2bd7b1b7facb177c6d036 by nick.battle
Check for numeric types with unary + and -, fixes #724
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numplus/numplus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-03.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/numminus/numminus-04.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numplus/numplus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/numminus/numminus-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-32.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result (diff)