FailedChanges

Summary

  1. Correction to seq comprehensions to use "bind", see #692 (details)
Commit 699e976a474418a6c5e6d910362296e5881bd648 by nick.battle
Correction to seq comprehensions to use "bind", see #692
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring (diff)
The file was modifiedcore/codegen/vdm2jml-runtime/.gitignore (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/contexts/POForAllContext.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/expression/ExpressionValueCollector.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/FreeVariablesChecker.java (diff)
The file was modifiedcore/codegen/codegen-runtime/.gitignore (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/OldNameCollector.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java (diff)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2 (diff)