SuccessChanges

Summary

  1. Perform type definition TC checks in two passes (details)
  2. Make state definition TC into two passes (details)
Commit 6ee6fb60ea9aecabd4053512dd5ef530abc9eb17 by nick.battle
Perform type definition TC checks in two passes
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
Commit b039a82a040c78870050412ffb06c405b74d21c4 by nick.battle
Make state definition TC into two passes
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ValueDef.vdmsl.result (diff)