FailedChanges

Summary

  1. First cut changes for mutual recursive TCs, fixes #15 (details)
Commit 228447e11a1b148129d2a8d82f488ca53640d037 by nick.battle
First cut changes for mutual recursive TCs, fixes #15
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/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result (diff)
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/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/opdef/opdef.vpp.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/PlannerSL.vdmsl.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/expressSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java (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/pog/src/test/resources/micro/pos/FunctionApply.vdmsl.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/realmSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/SAFERSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/BOMSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.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/fulltest/SL/modules06/modules06.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/classes/treePP.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/raildirSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/recursiveSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result (diff)
The file was modifiedcore/pog/src/test/resources/micro/pos/NonEmptySeq.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result (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/modules/DigraphSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/recursiveSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/PlannerSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/pp/diet2japanPP.vdmpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/obligation/RecursiveObligation.java (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/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/applyexpr/applyexpr-17.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/pacemakerSL.result (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result (diff)
The file was modifiedcore/typechecker/src/test/resources/classes/CodegenPP.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/MAASL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/DFDexampleSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result (diff)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java
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/fulltest/CORE/extexplfndef/extexplfndef.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-05.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result (diff)
The file was addedcore/typechecker/src/main/java/org/overture/typechecker/RecursiveLoops.java
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/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/LUPSLSL.result (diff)
The file was modifiedcore/pog/src/test/resources/integration/legacy/sl/pacemakerSL.vdmsl.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)