File tree Expand file tree Collapse file tree 1 file changed +0
-14
lines changed Expand file tree Collapse file tree 1 file changed +0
-14
lines changed Original file line number Diff line number Diff line change @@ -9,26 +9,12 @@ Frontends are advised to include *Source* information to denote how their
99*Compiler* errors back to the Frontend.
1010*/
1111message SourceInfo {
12-
13- // // Information related to where the
14- // message Generated {
15- // string description = 1;
16- // }
17-
18- // Source information relating to where the information is coming from.
19- // message Parsed {
2012 // A filename denoting the Source file.
2113 string file = 1 ;
2214 // Starting position in Source.
2315 SourcePosition pos_from = 2 ;
2416 // End position in Source.
2517 SourcePosition pos_to = 3 ;
26- // }
27-
28- // oneof source_info {
29- // Generated generated_info = 1;
30- // Parsed parsed_info = 2;
31- // }
3218}
3319
3420/* Position in Source */
You can’t perform that action at this time.
0 commit comments