agda / agda2hs

Compiling Agda code to readable Haskell
https://agda.github.io/agda2hs
MIT License
178 stars 37 forks source link

Support generating RankN haskell types. Fixes #352 #364

Closed anka-213 closed 2 months ago

anka-213 commented 2 months ago

This adds a boolean flag to CompileEnv for when we are nested inside types. I'm not sure if this is the best place to do it or if my names are good, but this seemed like the easiest way to do it.