Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000025mercuryBugpublic2007-11-01 14:242007-11-01 14:29
Reporterpetdr 
Assigned To 
PriorityhighSeveritycrashReproducibilityalways
StatusconfirmedResolutionopen 
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/table_tc.int
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.
Relationships
Attached Files? table_tc.m (369) 2007-11-01 14:24
https://bugs.mercurylang.org/file_download.php?file_id=17&type=bug

Notes
(0000046)
juliensf   
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
Date ModifiedUsernameFieldChange
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