Skip to content

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 and coreView 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 the Type pretty-printer higher, and SOURCE-importing it when necessary.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information