[mercury-users] --intermod-opt + --ctgc, bug or unimplemented?

Peter Wang novalazy at gmail.com
Mon Apr 4 17:03:02 AEST 2011

On 2011-04-03, Chris King <colanderman at gmail.com> wrote:
> Hi all,
> Combining --intermod-opt and --ctgc causes the following error during
> compilation:
> Software Error: prog_type.m: Unexpected: type_list_subsumes_det:
> type_list_subsumes failed
> Is this because this combination of options is not supported at this
> time, or is this simply a bug in the compiler?

It's a bug (#188).

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list