Mercury Bugs - mercury
View Issue Details
0000227mercuryBugpublic2011-11-09 18:182011-11-28 17:01
Reporterwangp 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000227: det scope unchecked in lambda expression
DescriptionThe compiler does not emit an error for this code:

        (pred(C::in) is semidet :-
            require_det (
                C = 'x'
            )
        )
TagsNo tags attached.
Attached Files

Notes
(0000417)
zs   
2011-11-28 17:01   
Fix committed nov 14.

Issue History
2011-11-09 18:18wangpNew Issue
2011-11-11 19:16zsStatusnew => assigned
2011-11-11 19:16zsAssigned To => zs
2011-11-28 17:01zsNote Added: 0000417
2011-11-28 17:01zsStatusassigned => resolved
2011-11-28 17:01zsResolutionopen => fixed