Skip to content

Draft: TTG for IfaceType

John Ericson requested to merge wip/ttg-iface-type into master

There is a note about how there is an extra case not used by interfaces (which are always closed terms) but for pretty printing core types (which may be open terms). This results in some partial code.

I don't like partial code! :) So I am doing the TTG thing to try to sepreate these case cases.

TODO create issue

CC @alt-romes

Merge request reports