mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 01:43:35 +00:00
Diagnose the decl_debug and parallel combination.
This commit is contained in:
@@ -1810,6 +1810,16 @@ handle_debugging_options(Target, TraceLevel, TraceEnabled, SSTraceLevel,
|
||||
nl],
|
||||
add_error(phase_options, TraceHLSpec, !Specs)
|
||||
),
|
||||
globals.lookup_bool_option(!.Globals, parallel, Parallel),
|
||||
(
|
||||
Parallel = no
|
||||
;
|
||||
Parallel = yes,
|
||||
ParSpec =
|
||||
[words("Debugging is not available in parallel grades."), nl],
|
||||
add_error(phase_options, ParSpec, !Specs)
|
||||
),
|
||||
|
||||
globals.lookup_bool_option(!.Globals, trace_optimized, TraceOptimized),
|
||||
(
|
||||
TraceOptimized = bool.no,
|
||||
|
||||
Reference in New Issue
Block a user