View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000082 | mercury | Bug | public | 2008-08-25 14:38 | 2008-08-27 14:05 | ||||
Reporter | maclarty | ||||||||
Assigned To | wangp | ||||||||
Priority | normal | Severity | major | Reproducibility | always | ||||
Status | resolved | Resolution | fixed | ||||||
Product Version | |||||||||
Target Version | Fixed in Version | ||||||||
Summary | 0000082: Functions returning a wrapped dummy type cause invalid c code to be generated in grade hlc.gc | ||||||||
Description | Compiling the attached code yields: $ mmc --make --grade hlc.gc main Making Mercury/int3s/main.int3 Making Mercury/int3s/mod1.int3 Making Mercury/ints/main.int Making Mercury/ints/mod1.int Making Mercury/cs/main.c Making Mercury/cs/mod1.c Making Mercury/os/main.o main.m: In function `main_2_p_0': main.m:14: error: void value not ignored as it ought to be ** Error making `Mercury/os/main.o'. $ mmc --version Mercury Compiler, version rotd-2008-08-20, configured for i686-pc-linux-gnu | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
Notes | |
wangp (developer) 2008-08-26 11:40 |
The problem is that there are three kinds of dummy types, but the code which generates .int files only recognises two of them. No-tag dummy types need to have their definitions written out to .int files, so importing modules will know they are dummy types. I am working on this. |
wangp (developer) 2008-08-27 14:05 |
Patch committed |
Issue History | |||
Date Modified | Username | Field | Change |
---|---|---|---|
2008-08-25 14:38 |
|
New Issue | |
2008-08-25 14:38 |
|
File Added: main.m | |
2008-08-25 14:39 |
|
File Added: mod1.m | |
2008-08-26 11:40 | wangp | Note Added: 0000142 | |
2008-08-27 14:05 | wangp | Status | new => resolved |
2008-08-27 14:05 | wangp | Resolution | open => fixed |
2008-08-27 14:05 | wangp | Assigned To | => wangp |
2008-08-27 14:05 | wangp | Note Added: 0000143 |