Revert "Fix bugs related to printing types (#661)"#673
Closed
mcbarton wants to merge 1 commit intocompiler-research:mainfrom
Closed
Revert "Fix bugs related to printing types (#661)"#673mcbarton wants to merge 1 commit intocompiler-research:mainfrom
mcbarton wants to merge 1 commit intocompiler-research:mainfrom
