digitalmars.D.bugs - [Issue 7052] New: system on safe class methods inconsistency
- d-bugmail puremagic.com (50/50) Dec 02 2011 http://d.puremagic.com/issues/show_bug.cgi?id=7052
- d-bugmail puremagic.com (13/13) Oct 20 2013 http://d.puremagic.com/issues/show_bug.cgi?id=7052
http://d.puremagic.com/issues/show_bug.cgi?id=7052 Summary: system on safe class methods inconsistency Product: D Version: D2 Platform: Other OS/Version: Mac OS X Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nobody puremagic.com ReportedBy: code klickverbot.at --- Consider: --- void unsafe() {} safe class Foo { void bar() system { unsafe(); } } --- DMD 2.057 Git (887dda0ba) fails with: --- Error: safe function 'bar' cannot call system function 'unsafe' --- The following two examples compile, however (note the different position of system in the first example): --- void unsafe() {} safe class Foo { system void bar() { unsafe(); } } --- --- void unsafe() {} safe class Foo { void bar() trusted { unsafe(); } } --- Given that the effects of safe being applied to classes don't seem to be mentioned in the spec, this is technically not a rejects-valid bug, but certainly very inconsistent. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 02 2011
http://d.puremagic.com/issues/show_bug.cgi?id=7052 Denis Shelomovskij <verylonglogin.reg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |verylonglogin.reg gmail.com Resolution| |WORKSFORME 14:12:46 MSD --- The case from description compiles now as in case of different attributes the weaker is selected. See Issue 11304. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Oct 20 2013