SuccessChanges

Summary

  1. Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
  2. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
  3. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
Commit b576a7521ea8becd6d3708a44df4b0604ac67f80 by nick.battle
Prevent looping type resolution, fixes #735
(commit: b576a75)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
Commit 05d176eb9732aaa2b7d15969436eae9805cea97a by nick.battle
Better approach to recursive type resolution errors, fixes #735
(commit: 05d176e)
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java
Commit 8791e1ff56bad2f3d81de19a0e309c5766f1c5dd by nick.battle
Put let RHS functional checks within -strict flag
(commit: 8791e1f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/Environment.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java