diff options
Diffstat (limited to 'src/flags.ads')
| -rw-r--r-- | src/flags.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/flags.ads b/src/flags.ads index cdcdd0202..f9c0be2a1 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -94,6 +94,12 @@ package Flags is -- -v: disp phase of compilation. Verbose : Boolean := False; + -- If set to true, the parser builds extended locations (defined in + -- package elocations). This saves possibly many locations per node, so + -- it uses more memory. Useful when a tool (like a style checker) wants + -- to know the precise layout. Not used to report errors. + Flag_Elocations : Boolean := False; + -- If set to true, it means that analyze is done for elaboration. -- The purpose is to avoid spurious warning "will be checked -- at elaboration" |