Skip to content

add -aui/-naui flags for allowing undecidable instances

Mart Lubbers requested to merge add-aui-flag into master

This MR adds the -aui and -naui flags to enable or disable the allowance of undecidable instances (required for some functional dependency trickery such as type arithmetic and type level lists).

The aui flag can be found here:

Merge request reports