equal
deleted
inserted
replaced
20 val kindN: string |
20 val kindN: string |
21 val internalK: string |
21 val internalK: string |
22 val property_internal: property |
22 val property_internal: property |
23 val lineN: string |
23 val lineN: string |
24 val columnN: string |
24 val columnN: string |
|
25 val end_lineN: string |
|
26 val end_columnN: string |
25 val fileN: string |
27 val fileN: string |
26 val position_properties: string list |
28 val position_properties: string list |
27 val positionN: string val position: T |
29 val positionN: string val position: T |
28 val locationN: string val location: T |
30 val locationN: string val location: T |
29 val indentN: string |
31 val indentN: string |
118 |
120 |
119 (* position *) |
121 (* position *) |
120 |
122 |
121 val lineN = "line"; |
123 val lineN = "line"; |
122 val columnN = "column"; |
124 val columnN = "column"; |
|
125 val end_lineN = "end_line"; |
|
126 val end_columnN = "end_column"; |
123 val fileN = "file"; |
127 val fileN = "file"; |
124 val idN = "id"; |
128 val idN = "id"; |
125 |
129 |
126 val position_properties = [lineN, columnN, fileN, idN]; |
130 val position_properties = [lineN, columnN, end_lineN, end_columnN, fileN, idN]; |
127 val (positionN, position) = markup_elem "position"; |
131 val (positionN, position) = markup_elem "position"; |
128 |
132 |
129 val (locationN, location) = markup_elem "location"; |
133 val (locationN, location) = markup_elem "location"; |
130 |
134 |
131 |
135 |