| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0000582 | mercury | Bug | public | 2026-03-03 11:53 | 2026-03-03 11:53 | ||||||||
| Reporter | wangp | ||||||||||||
| Assigned To | |||||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||||
| Status | new | Resolution | open | ||||||||||
| Product Version | |||||||||||||
| Target Version | Fixed in Version | ||||||||||||
| Summary | 0000582: generate int switches for other integer types | ||||||||||||
| Description | The compiler ought to be able to generate all the different switch types on all integer types, not just `int'. We noticed this deficiency on a fact table of the form: :- pred action_table(int16::in, int16::in, uint16::out) is semidet. action_table(0i16, 0i16, 1661u16). action_table(0i16, 1i16, 1661u16). action_table(0i16, 2i16, 1661u16). action_table(0i16, 3i16, 1661u16). action_table(0i16, 4i16, 1661u16). action_table(0i16, 5i16, 1661u16). action_table(0i16, 6i16, 1661u16). action_table(0i16, 7i16, 1661u16). action_table(0i16, 8i16, 1661u16). action_table(0i16, 9i16, 1661u16). ... In the end, we replaced the input arguments with `int's (which was fine, but shouldn't be necessary). | ||||||||||||
| Tags | No tags attached. | ||||||||||||
| Attached Files |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
| There are no notes attached to this issue. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2026-03-03 11:53 | wangp | New Issue | |
| Issue History |