sol/doctest-haskell — pull request #23 by kazu-yamamoto (2012-04-27 06:08:30+00:00)
Title: extract "prop>" from haddock and test it with QuickCheck.

Parse.hs extracts "prop>" from haddock. To make changes minimum, the data type "Interaction" was not renamed. If you don't like it, it's very easy for you to rename it.

Report.hs executes Property with QuickCheck. Free variables are detected with GHCi. But it can be re-implemented with haskell-src-exts in the future.
1) if an expression is started with "\\", use it as is
2) if GHCi find free variables, the expression is translated into a closed lambda with them
3) otherwise the expression is used as is

This is unintentional, though, 3) still allows "prop> prop_XXX".