SuccessChanges

Summary

  1. Fix FunctionValue comparisons to cope with free variables, fixes #739 (details)
Commit 56b873f09a5e9572e4a372cffeab957c1ebfc650 by nick.battle
Fix FunctionValue comparisons to cope with free variables, fixes #739
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java (diff)
The file was modifiedcore/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/letexpr/letexpr-07.vdm.entry (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/definition/NamedValueLister.java (diff)