2024-11-07 14:42 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000025mercuryBugpublic2007-11-01 14:29
Reporterpetdr 
Assigned To 
PriorityhighSeveritycrashReproducibilityalways
StatusconfirmedResolutionopen 
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.
Attached Files

-Relationships
+Relationships

-Notes

~0000046

juliensf (administrator)

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.
+Notes

-Issue History
Date Modified Username Field Change
2007-11-01 14:24 petdr New Issue
2007-11-01 14:24 petdr File Added: table_tc.m
2007-11-01 14:29 juliensf Note Added: 0000046
2007-11-01 14:29 juliensf Status new => confirmed
+Issue History