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

[Johannes Waldmann]

> 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.