Mercury Bugs - mercury
View Issue Details
0000508mercuryBugpublic2020-05-17 01:312020-05-17 03:06
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000508: Type constructors that are also Mercury operators result in invalid .int3 files
DescriptionType constructors that are also Mercury operators (like rule or pragma) result in .int3 files the compiler cannot read back in. This is due to the operators not being escaped in :- type_representation items. For example, extras/moose/grammar.m contains a type named rule/0, which results in the following in the .int3 file

    :- type_representation(grammar.rule, is_word_aligned_ptr)

Currently, extras/moose and samples/muz cannot being compiled with the current ROTD.

(Also, why does the first argument of the type_representation item need to be module qualified?)



TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2020-05-17 01:31juliensfNew Issue
2020-05-17 03:06zsAssigned To => zs
2020-05-17 03:06zsStatusnew => assigned