Started 3 mo 1 day ago
Took 3 hr 33 min on plang7

Failed Build #430 (May 14, 2020, 11:12:30 AM)

Changes
  1. Replace TypeAttribute with QualifiedName in AstSubsetType (commit: d874508) (details / githubweb)
  2. Refactor type interfaces (TypeSystem.h) (commit: 4fd6866) (details / githubweb)
  3. Add tests (commit: 1da8d9f) (details / githubweb)
  4. Fix the behaviour (bug), when user redefines one of the predefined types. (commit: c90a19e) (details / githubweb)
  5. Implement handling of infinite descent in the subtype definitions. (commit: bf8f38a) (details / githubweb)
  6. Add unit test for extended subtypes (commit: f85f87a) (details / githubweb)
  7. Use strings for the primitive-types union check. (commit: 4ce9c15) (details / githubweb)
  8. Handle non-existing base type (commit: 21c88f0) (details / githubweb)
  9. Implement record subtypes (commit: 2c2f652) (details / githubweb)
  10. Disallow subtypes derived from unions (commit: cef042b) (details / githubweb)
  11. Replace is*Type functions with a isOfKind(type/s, TypeAttribute) (commit: 71557de) (details / githubweb)
  12. Add tests with type inference (commit: 0848fcb) (details / githubweb)
  13. Move procedure createTypeDependencyGraph out of TypeEnvironmentAnalysis (commit: 8f0ebf6) (details / githubweb)
  14. More structured construction of type environment (drop linking phase). (commit: e2dab0d) (details / githubweb)
  15. Add SubsetRecordType to simplify some code. (commit: fb5e6fc) (details / githubweb)
  16. Simplify getTypeQualifier. (commit: 7bbed51) (details / githubweb)
  17. Fix a bug: trying to access nonexistent base type. (commit: 40a2c17) (details / githubweb)
  18. tidy up && add missing test files (commit: 184218f) (details / githubweb)
  19. Move supporting functions out of AstTypeEnvironmentAnalysis (commit: 0c1d02a) (details / githubweb)
  20. Implement record sub-typing checks by deriving the record types from (commit: 7850fce) (details / githubweb)
  21. Handle mutually recursive record definitions (commit: 499462e) (details / githubweb)
  22. Tidy up (commit: 8d64f94) (details / githubweb)

Started by GitHub push by b-scholz

Revision: 4b6b17fe322eb1ed12aa1f945df6da4c9925002d
  • refs/remotes/origin/master