test/golden/relation-notation/parsing.golden


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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

[ BlockClaim Proposition
    ( Location
        { locFile = "test/examples/relation-notation.tex"
        , locLine = 1
        , locColumn = 1
        }
    ) Nothing
    ( Marker "mathrel_notation_test" )
    ( Claim []
        ( StmtConnected
            { conn = Implication
            , mloc = Just
                ( Location
                    { locFile = "test/examples/relation-notation.tex"
                    , locLine = 2
                    , locColumn = 5
                    }
                )
            , stmt1 = StmtFormula
                { formula = FormulaChain
                    ( ChainBase
                        ( ExprVar
                            ( NamedVar "x" ) :| []
                        ) Positive
                        ( RelationExpr
                            ( Location
                                { locFile = "test/examples/relation-notation.tex"
                                , locLine = 2
                                , locColumn = 10
                                }
                            )
                            ( ExprVar
                                ( NamedVar "R" )
                            )
                        )
                        ( ExprVar
                            ( NamedVar "y" ) :| []
                        )
                    )
                }
            , stmt2 = StmtFormula
                { formula = FormulaChain
                    ( ChainBase
                        ( ExprVar
                            ( NamedVar "x" ) :| []
                        ) Positive
                        ( RelationExpr
                            ( Location
                                { locFile = "test/examples/relation-notation.tex"
                                , locLine = 2
                                , locColumn = 33
                                }
                            )
                            ( ExprVar
                                ( NamedVar "R" )
                            )
                        )
                        ( ExprVar
                            ( NamedVar "y" ) :| []
                        )
                    )
                }
            }
        )
    )
]