doctest icon indicating copy to clipboard operation
doctest copied to clipboard

Allow multiline QuickCheck properties.

Open kindaro opened this issue 7 years ago • 1 comments

Steps to reproduce:

Create a property that spans multiple lines, like this:

-- prop> :{
--      \x -> x == x
-- :}

Expected:

The property will parse and execute correctly, passing the test.

Actual:

### Failure in ... : expression `:{'

<interactive>:106:21: error: parse error on input ‘:’

<interactive>:107:3: error:
    • ‘doctest_prop’ is not in scope at a reify
    • In the untyped splice: $(polyQuickCheck (mkName "doctest_prop"))
Examples: 8  Tried: 8  Errors: 0  Failures: 1

kindaro avatar Feb 19 '18 21:02 kindaro

This is actually a duplicate of #131. I'm sorry. But at least it shows that there's interest.

kindaro avatar Feb 26 '18 16:02 kindaro