SuccessChanges

Summary

  1. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
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/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.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/TypeCheckerStmVisitor.java
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
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java