Changes
Summary
- Check for invariant types when converting function values, fixes #761 (commit: b42facd) (details)
![]() | core/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java |
![]() | core/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java |