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 offsetN: string |
25 val end_lineN: string |
26 val end_lineN: string |
26 val end_columnN: string |
27 val end_columnN: string |
|
28 val end_offsetN: string |
27 val fileN: string |
29 val fileN: string |
28 val position_properties': string list |
30 val position_properties': string list |
29 val position_properties: string list |
31 val position_properties: string list |
30 val positionN: string val position: T |
32 val positionN: string val position: T |
31 val locationN: string val location: T |
33 val locationN: string val location: T |
126 |
128 |
127 (* position *) |
129 (* position *) |
128 |
130 |
129 val lineN = "line"; |
131 val lineN = "line"; |
130 val columnN = "column"; |
132 val columnN = "column"; |
|
133 val offsetN = "offset"; |
131 val end_lineN = "end_line"; |
134 val end_lineN = "end_line"; |
132 val end_columnN = "end_column"; |
135 val end_columnN = "end_column"; |
|
136 val end_offsetN = "end_offset"; |
133 val fileN = "file"; |
137 val fileN = "file"; |
134 val idN = "id"; |
138 val idN = "id"; |
135 |
139 |
136 val position_properties' = [end_lineN, end_columnN, fileN, idN]; |
140 val position_properties' = [end_lineN, end_columnN, end_offsetN, fileN, idN]; |
137 val position_properties = [lineN, columnN] @ position_properties'; |
141 val position_properties = [lineN, columnN, offsetN] @ position_properties'; |
138 |
142 |
139 val (positionN, position) = markup_elem "position"; |
143 val (positionN, position) = markup_elem "position"; |
140 |
144 |
141 val (locationN, location) = markup_elem "location"; |
145 val (locationN, location) = markup_elem "location"; |
142 |
146 |