Define `toposortKindVarsOfTvbs`, use it to fix #188

goldfirere / th-desugar

Desugars Template Haskell abstract syntax to a simpler format without changing semantics

BSD 3-Clause "New" or "Revised" License

20 stars 13 forks source link

Define `toposortKindVarsOfTvbs`, use it to fix #188 #189

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

toposortKindVarsOfTvbs ensures that type variables bound earlier in a telescope do not get returned as free variables, thereby fixing the issue observed in #188.