[Jenkins]Jenkins

SuccessChanges

Summary

  1. Check for invariant types when converting function values, fixes #761 (commit: b42facd) (details)
  2. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)
  3. Adds a check to avoid managing the console of external tools (commit: 8fdfa29) (details)
Commit b42facd34eef8747a0c2c79555ac70bb60175e9e by nick.battle
Check for invariant types when converting function values, fixes #761
 (commit: b42facd)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java (diff)
Commit 656ece8aa7d9bbcdb9c1c5168169e64f997ee5ad by nick.battle
Correct check of function parameter patterns and arguments, fixes #762
 (commit: 656ece8)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java (diff)
Commit 8fdfa2909a8ed1c51884073f3503cb332511cd37 by idhugoid
Adds a check to avoid managing the console of external tools
 (commit: 8fdfa29)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java (diff)