2017-07-21 04:24 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000411mercuryBugpublic2017-06-22 15:38
Assigned Tozs 
Product Version 
Target VersionFixed in Version 
Summary0000411: abstract type not hidden
DescriptionIn the test case, foo.m exports an abstract type `foo' but bar.m is able to see that it is an equivalence type for int.

Of the compilers I have installed:
mercury-srcdist-rotd-2015-07-01 works correctly
mercury-srcdist-rotd-2015-08-10 is broken
Steps To Reproducemmc -m bar.m
TagsNo tags attached.
Attached Files
  • ? file icon foo.m (426 bytes) 2016-06-22 14:03
  • ? file icon bar.m (410 bytes) 2016-06-22 14:04




wangp (developer)

Oops, the step to reproduce is obviously "mmc -m bar" without the .m suffix.


wangp (developer)

I nearly filed this bug again, having forgotten about it. Strange coincidence!

-Issue History
Date Modified Username Field Change
2016-06-22 14:03 wangp New Issue
2016-06-22 14:03 wangp File Added: foo.m
2016-06-22 14:04 wangp File Added: bar.m
2016-06-22 14:08 wangp Note Added: 0000886
2016-08-01 21:47 zs Assigned To => zs
2016-08-01 21:47 zs Status new => assigned
2017-06-22 15:38 wangp Note Added: 0000954
+Issue History