Mercury Bugs - mercury
View Issue Details
0000025mercuryBugpublic2007-11-01 14:242007-11-01 14:29
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000025: tabling of predicates with type class constraints causes an internal compiler error
Description$ mmc --make table_tc
Making Mercury/int3s/table_tc.int3
Making Mercury/ints/
Making Mercury/cs/table_tc.c
Uncaught Mercury exception:
Software Error: table_gen.m: Unexpected: gen_lookup_call_for_type: typeclass_info_type
Stack dump not available in this grade.
** Error making `Mercury/cs/table_tc.c'.
TagsNo tags attached.
Attached Files? table_tc.m (369) 2007-11-01 14:24

2007-11-01 14:29   
This is a known problem. Basically, tabling of predicates with
type class constraints will not work until we change the compiler
not to pack type_infos into typeclass_infos.

Issue History
2007-11-01 14:24petdrNew Issue
2007-11-01 14:24petdrFile Added: table_tc.m
2007-11-01 14:29juliensfNote Added: 0000046
2007-11-01 14:29juliensfStatusnew => confirmed