Mercury Bugs - mercury
View Issue Details
0000329mercuryBugpublic2014-05-11 14:092014-05-13 15:33
Reporterlpimmes 
Assigned Tojuliensf 
PriorityurgentSeveritycrashReproducibilityalways
StatusresolvedResolutionduplicate 
PlatformMaverick 10.9OSOS XOS Version
Product Version 
Target VersionFixed in Version 
Summary0000329: Uncaught Mercury exception:
Description-library-version 1.0.2411.0 --host-env-type posix --target-env-type posix --unboxed-float -O2 --make --fully-strict -E -v -O 6 --use-subdirs --search-lib-files-dir . --init-file stringCut_lib.init --link-object libstringCut_lib.a --compile-to-c --use-subdirs stringCut'
Uncaught Mercury exception:
Software Error: map.lookup: key not found
    Key Type: string
    Key Value: "cutInfo"
    Value Type: tree234.tree234(parse_tree.prog_data.type_ctor, hlds.hlds_data.hlds_type_defn)
% Touching `Mercury/err_dates/stringCut.err_date'... done.
% Parsing module `stringCut' and imported interfaces...
% Module qualifying items...
% done.
Steps To ReproduceUnzip strgCut.zip
>make
... error appears

-------
Any ideas? Help would be appreciated.
stringCut_lib.m compiles OK
stringCut.m did compile this morning. Added cutInfo tracking.
Thanks.
TagsNo tags attached.
duplicate of 0000017resolved zs no error for unknown types in interface if defined in implementation 
Attached Fileszip strgCut.zip (4,568) 2014-05-11 14:09
https://bugs.mercurylang.org/file_download.php?file_id=213&type=bug

Notes
(0000680)
wangp   
2014-05-12 18:05   
The interface of stringCut_lib mentions the type cutInfo but does not export it as an abstract type, i.e.

:- type cutInfo.

It is surprising that the compiler does not report an error.
(0000681)
lpimmes   
2014-05-12 21:27   
Indeed, it works, i.e., compile and links, now!
Thank so much.

Issue History
2014-05-11 14:09lpimmesNew Issue
2014-05-11 14:09lpimmesFile Added: strgCut.zip
2014-05-12 18:05wangpNote Added: 0000680
2014-05-12 21:27lpimmesNote Added: 0000681
2014-05-13 15:33juliensfRelationship addedduplicate of 0000017
2014-05-13 15:33juliensfStatusnew => resolved
2014-05-13 15:33juliensfResolutionopen => duplicate
2014-05-13 15:33juliensfAssigned To => juliensf