SuccessChanges

Summary

  1. Add correction to TypeComparator for one-type unions (commit: d234c71) (details)
  2. Set the type of narrow_ nodes correctly (commit: d8ed674) (details)
Commit d234c71e3ff291f73e37d66d822fe8df3e243680 by nick.battle
Add correction to TypeComparator for one-type unions
(commit: d234c71)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java (diff)
Commit d8ed674a6c3df5c94a9ab37c29a4939663cecc25 by nick.battle
Set the type of narrow_ nodes correctly
(commit: d8ed674)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)