Tritlo / PropR

Genetic program repair using GHC
MIT License
30 stars 2 forks source link

Expression fit cands are misbehaving #82

Closed Tritlo closed 3 years ago

Tritlo commented 3 years ago

Example:

example :: [[Maybe Int]]
example =
  [[n], [j 1]]
  where
    n = Nothing
    j = Just

allBlankEx :: [[Maybe Int]]
allBlankEx = [[Nothing | n <- [0]] | g <- [0]]

propIsAllBlank :: Bool
propIsAllBlank = example == allBlankEx

This will fail with:

[SO MANY LINES]
temp_dir/3487d448/tests/cases/ExprWhere/checks/231ef1ff/FakeCheckTarget231ef1ff.hs:1543:58: error:
    Variable not in scope: j :: t158 -> t157
     |
1543 |               allBlankEx = [[Nothing | n <- [0]] | g <- [j 1]]
     |                                                          ^

temp_dir/3487d448/tests/cases/ExprWhere/checks/231ef1ff/FakeCheckTarget231ef1ff.hs:1555:58: error:
    Variable not in scope: j :: t155 -> t154
     |
1555 |               allBlankEx = [[Nothing | n <- [0]] | g <- [j 1]]
     |                                                          ^

temp_dir/3487d448/tests/cases/ExprWhere/checks/231ef1ff/FakeCheckTarget231ef1ff.hs:1576:58: error:
    Variable not in scope: n
     |
1576 |               allBlankEx = [[Nothing | n <- [0]] | g <- [n]]
     |                                                          ^

temp_dir/3487d448/tests/cases/ExprWhere/checks/231ef1ff/FakeCheckTarget231ef1ff.hs:1588:58: error:
    Variable not in scope: n
     |
1588 |               allBlankEx = [[Nothing | n <- [0]] | g <- [n]]
     |                                                          ^