Error

1
2
3
4
5
6
7
    Not in scope: `testProperty'
    In the result of the splice:
      $defaultMainGenerator
    To see what the splice expanded to, use -ddump-splices
    In the expression: $defaultMainGenerator
    In an equation for `allquickchecks':
        allquickchecks = $defaultMainGenerator