1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Bug.hs" 1 1 3 1
, srcInfoPoints =
[ SrcSpan "tests/examples/Bug.hs" 1 1 1 1
, SrcSpan "tests/examples/Bug.hs" 1 1 1 1
, SrcSpan "tests/examples/Bug.hs" 1 1 1 1
, SrcSpan "tests/examples/Bug.hs" 3 1 3 1
, SrcSpan "tests/examples/Bug.hs" 3 1 3 1
]
}
Nothing
[]
[ ImportDecl
{ importAnn =
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Bug.hs" 1 1 1 23
, srcInfoPoints = [ SrcSpan "tests/examples/Bug.hs" 1 1 1 7 ]
}
, importModule =
ModuleName
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Bug.hs" 1 8 1 23
, srcInfoPoints = []
}
"Test.QuickCheck"
, importQualified = False
, importSrc = False
, importSafe = False
, importPkg = Nothing
, importAs = Nothing
, importSpecs = Nothing
}
]
[]
, [ Comment
False
(SrcSpan "tests/examples/Bug.hs" 2 1 2 39)
" prop_susShortest = 2 > 1 ==> 1 /= 2"
]
)
|
