Skip to content

Support for the changes introduced with type classes

This MR adds support for the new .cdoc version with type classes. At first I extended the data type TypeExpr with a new constructor for forall expressions. Then I removed all functions with a #-name from the search database and updated the pretty printing of functions and types.

Edited by Jan-Hendrik Matthes

Merge request reports