Re: [Haskell-cafe] Feedback on plan for checking code requirements in a GHC plugin

Has anyone done anything like this before?

Sort-of. Not with a GHC plugin, but haskell-src-exts to get the AST, and then match with a blueprint for the code (students have to replace "undefined" by some expression). See "How I Teach Functional Programming" (WFLP 2017) https://www.imn.htwk-leipzig.de/~waldmann/talk/ - J.W.