Mercury Bugs - mercury
View Issue Details
0000551mercuryBugpublic2022-02-21 17:112022-02-21 21:03
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000551: Information messages refer to non-existent pragma
DescriptionThe compiler is emitting information messages like the following for the tests in tests/debugger when bootchecking in grade asm_fast.par.gc:

gmake[3]: Leaving directory `/home/jfischer/release/mercury.git/tests/debugger'
io_tab_goto.m:029: Ignoring the
io_tab_goto.m:029: `:- pragma table_io(entry_stores_procid_inputs_outputs, alone)'
io_tab_goto.m:029: declaration for predicate `io_tab_goto.goto'/2 mode 0,
io_tab_goto.m:029: because tabling is not compatible with parallel execution.

At the source code level, there is AFAIK no such thing as a table_io pragma.

Mercury: 22.01-beta-2022-02-16
C compiler: GCC 4.8.5
OS: CentOS 7
TagsNo tags attached.
Attached Files

2022-02-21 21:03   
Fix for the misleading error message committed 2022 feb 21.

(The test case may still fail due to mismatch with the expected output,
but that is a separate issue.)

Issue History
2022-02-21 17:11juliensfNew Issue
2022-02-21 17:21zsAssigned To => zs
2022-02-21 17:21zsStatusnew => assigned
2022-02-21 21:03zsStatusassigned => resolved
2022-02-21 21:03zsResolutionopen => fixed
2022-02-21 21:03zsNote Added: 0001177