2019-09-18 14:50 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000227mercuryBugpublic2011-11-28 17:01
Reporterwangp 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
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

-Relationships
+Relationships

-Notes

~0000417

zs (developer)

Fix committed nov 14.
+Notes

-Issue History
Date Modified Username Field Change
2011-11-09 18:18 wangp New Issue
2011-11-11 19:16 zs Status new => assigned
2011-11-11 19:16 zs Assigned To => zs
2011-11-28 17:01 zs Note Added: 0000417
2011-11-28 17:01 zs Status assigned => resolved
2011-11-28 17:01 zs Resolution open => fixed
+Issue History