Skip to content

Tidy up join point binders in the simplifier

When looking at something else I discovered that join-point binders were being fiddled

  • via setJoinResTy in Simplify.Env.substNonCoVarIdBndr
  • via scaleJoinPointType in Simplify.simplJoinBind

Not only is this untidy, but the latter doesn't update the in-scope set and/or substitution, which might be bad.

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