Make sure that tcView and coreView can INLINE
Currently TyCoRep SOURCE-imports coreView
, which is bad because we can't inline it, and incorporate it into the parent pattern match.
Two ways to fix this:
-
Move
tcView
andcoreView
into TyCoRep. Probably then need to SOURCE-import substitution or something like it. -
Move the functions in TyCoRep that use
coreView
out of it -- probably by moving theType
pretty-printer higher, and SOURCE-importing it when necessary.