Mercury Bugs - mercury | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0000061 | mercury | Bug | public | 2008-06-03 18:40 | 2008-06-03 18:41 |
Reporter | maclarty | ||||
---|---|---|---|---|---|
Assigned To | |||||
Priority | normal | Severity | minor | Reproducibility | always |
Status | new | Resolution | open | ||
Platform | OS | OS Version | |||
Product Version | |||||
Target Version | Fixed in Version | ||||
Summary | 0000061: problem with _init suffix in module names | ||||
Description | If the main predicate is defined in module 'test', and module 'test' imports module 'test_init', then running mmc --make results in the following link error: ** Error making `test'. Mercury/os/test_init.o: In function `<predicate 'test_init.p'/2 mode 0>': test_init.c:(.text+0x14): multiple definition of `<predicate 'test_init.p'/2 mod e 0>' Mercury/os/test_init.o:test_init.c:(.text+0x14): first defined here Mercury/os/test_init.o: In function `mercury__test_init__init_debugger': test_init.c:(.text+0x20): multiple definition of `mercury__test_init__init_debug ger' Mercury/os/test_init.o:test_init.c:(.text+0x20): first defined here Mercury/os/test_init.o: In function `mercury__test_init__init': test_init.c:(.text+0x40): multiple definition of `mercury__test_init__init' Mercury/os/test_init.o:test_init.c:(.text+0x40): first defined here Mercury/os/test_init.o: In function `mercury__test_init__init_type_tables': test_init.c:(.text+0x70): multiple definition of `mercury__test_init__init_type_ tables' Mercury/os/test_init.o:test_init.c:(.text+0x70): first defined here /usr/lib/gcc/i486-linux-gnu/3.4.6/../../../../lib/crt1.o: In function `_start': ../sysdeps/i386/elf/start.S:115: undefined reference to `main' collect2: ld returned 1 exit status | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files | test.m (162) 2008-06-03 18:40 https://bugs.mercurylang.org/file_download.php?file_id=49&type=bug test_init.m (122) 2008-06-03 18:41 https://bugs.mercurylang.org/file_download.php?file_id=50&type=bug |
There are no notes attached to this issue. |
Issue History | |||||
Date Modified | Username | Field | Change | ||
---|---|---|---|---|---|
2008-06-03 18:40 | New Issue | ||||
2008-06-03 18:40 | File Added: test.m | ||||
2008-06-03 18:41 | File Added: test_init.m |