Add type kind, privacy and manifest changes to type declaration diff representation (#120)
* Improve diffing of type declarations
* Update Text_diff module to handle the new diff rep.
* Update type declaration diff to have more explicit type kind diff
* Add tests for type declaration kind tests
* Refine type decl diff representation and add more tests
* Update type declaration diff to handle private type abbreviations
* Add tests for type privacy modification and print them
* Update type declaration diff to include type manifest diff
* Print textual diffs of type manifests --incomplete
* Update tests
* Fix printing of modifed types --incomplete
* Polish Diff module
* Update tests
* Update tests, Diff and Text_diff module --incomplete
* Update printing of modified types --incomplete
* Update printing of modified types --incomplete
* Fix printing of abstract types
* Update tests
* Finalize printing of modified types
* Add changelog entry
* Minor fixes
* Fix printing of abstract types
* Minor fixes
* Minor fixes
* Minor fixes
* Remove extra lines in tests
b0de23
-
Feb 07 11:42 +00:00