1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 1 2 1 5 , srcInfoPoints = 6 [ SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 1 7 , SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 1 8 , SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 1 9 , SrcSpan "tests/examples/EmptyContext.hs" 2 1 2 1 10 , SrcSpan "tests/examples/EmptyContext.hs" 2 1 2 1 11 ] 12 } 13 Nothing 14 [] 15 [] 16 [ TypeSig 17 SrcSpanInfo 18 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 23 19 , srcInfoPoints = 20 [ SrcSpan "tests/examples/EmptyContext.hs" 1 11 1 13 ] 21 } 22 [ Ident 23 SrcSpanInfo 24 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 10 25 , srcInfoPoints = [] 26 } 27 "happyThen" 28 ] 29 (TyForall 30 SrcSpanInfo 31 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 14 1 23 32 , srcInfoPoints = [] 33 } 34 Nothing 35 (Just 36 (CxEmpty 37 SrcSpanInfo 38 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 14 1 19 39 , srcInfoPoints = 40 [ SrcSpan "tests/examples/EmptyContext.hs" 1 14 1 15 41 , SrcSpan "tests/examples/EmptyContext.hs" 1 15 1 16 42 , SrcSpan "tests/examples/EmptyContext.hs" 1 17 1 19 43 ] 44 })) 45 (TyApp 46 SrcSpanInfo 47 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 23 48 , srcInfoPoints = [] 49 } 50 (TyCon 51 SrcSpanInfo 52 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 21 53 , srcInfoPoints = [] 54 } 55 (UnQual 56 SrcSpanInfo 57 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 21 58 , srcInfoPoints = [] 59 } 60 (Ident 61 SrcSpanInfo 62 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 21 63 , srcInfoPoints = [] 64 } 65 "P"))) 66 (TyVar 67 SrcSpanInfo 68 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 22 1 23 69 , srcInfoPoints = [] 70 } 71 (Ident 72 SrcSpanInfo 73 { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 22 1 23 74 , srcInfoPoints = [] 75 } 76 "a")))) 77 ] 78 , [] 79 ) 80