Skip to content

isRealWorldId is implemented inefficiently?

Is it necessary to use eqType to define isRealWorldId?

Could we rather not use splitTyConApp to more cheaply perform this comparision?

This function is called on quite a hot path in sizeExpr.

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