0000368: Table reset predicates not generated in Erlang grade

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000368

mercury

Bug

public

2014-12-02 22:19

2015-02-08 12:18

Reporter

juliensf

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000368: Table reset predicates not generated in Erlang grade

Description

The module compiler/ctgc.selector contains a number of predicates that are the subject of memo pragmas and that have the reset attribute specified. The reset predicates are called by other predicates
in this module. Although tabling is not supported by the Erlang backend, we still need to generate
dummy versions of the reset predicates where there are references to them. This is the cause
of the errors from the Erlang compiler about undefined functions in the build output below.

Steps To Reproduce

Build the Mercury compiler in the erlang grade.

Additional Information

Making Mercury/int3s/transform_hlds.ctgc.selector.int3
Making Mercury/ints/transform_hlds.ctgc.selector.int
Making Mercury/erls/transform_hlds__ctgc__selector.erl
ctgc.selector.m:066: Ignoring the pragma memo for predicate
ctgc.selector.m:066: `transform_hlds.ctgc.selector.normalize_selector_with_type_information'/4
ctgc.selector.m:066: mode 0 due to lack of support on this back end.
ctgc.selector.m:288: Ignoring the pragma memo for predicate
ctgc.selector.m:288: `transform_hlds.ctgc.selector.type_contains_subtype_1'/4
ctgc.selector.m:288: mode 0 due to lack of support on this back end.
ctgc.selector.m:330: Ignoring the pragma memo for predicate
ctgc.selector.m:330: `transform_hlds.ctgc.selector.type_arg_types'/3 mode 0
ctgc.selector.m:330: due to lack of support on this back end.
Making Mercury/beams/transform_hlds__ctgc__selector.beam
ctgc.selector.m:295: syntax error before: ','
ctgc.selector.m:334: syntax error before: ','
Mercury/erls/transform_hlds__ctgc__selector.erl:354: function table_reset_for_type_contains_subtype_1_4_2_p_0/0 undefined
Mercury/erls/transform_hlds__ctgc__selector.erl:355: function table_reset_for_type_arg_types_3_2_p_0/0 undefined
** Error making `Mercury/beams/transform_hlds__ctgc__selector.beam'.
/var/folders/pd/5lypc6_j3vnf65q9x5y9s3p40000gn/T//mmake.YQsUfH:1400: recipe for target 'top_level' failed
gmake[1]: *** [top_level] Error 1
gmake[1]: Leaving directory '/Users/jfischer/Mercury-Workspaces/mercury.local-4/compiler'
/var/folders/pd/5lypc6_j3vnf65q9x5y9s3p40000gn/T//mmake.nCDJA5:1066: recipe for target 'compiler' failed
gmake: *** [compiler] Error 2

Date Modified	Username	Field	Change
Issue History
2014-12-02 22:19	juliensf	New Issue
2015-02-05 01:05	zs	Assigned To	=> zs
2015-02-05 01:05	zs	Status	new => assigned
2015-02-08 12:18	zs	Note Added: 0000808
2015-02-08 12:18	zs	Status	assigned => resolved
2015-02-08 12:18	zs	Resolution	open => fixed

Relationships