https://issues.dlang.org/show_bug.cgi?id=13118
bearophile_h...@eml.cc changed:
What|Removed |Added
CC||bearophile_h...@eml.cc
--- Comment #
https://issues.dlang.org/show_bug.cgi?id=13118
--- Comment #2 from Denis Shelomovskij ---
(In reply to bearophile_hugs from comment #1)
> (In reply to Denis Shelomovskij from comment #0)
> > This code should compile:
> > ---
> > void f() @nogc
> > in { new int; }
> > body { }
> > ---
> >
> > Not
https://issues.dlang.org/show_bug.cgi?id=13118
yebblies changed:
What|Removed |Added
CC||yebbl...@gmail.com
--- Comment #3 from yebblies
https://issues.dlang.org/show_bug.cgi?id=13118
--- Comment #4 from bearophile_h...@eml.cc ---
(In reply to yebblies from comment #3)
> assert throws an error and does not violate nothrow.
This compiles, but is it good?
void foo() nothrow
in {
throw new Exception(null);
} body {
}
void main
https://issues.dlang.org/show_bug.cgi?id=13118
--- Comment #5 from yebblies ---
(In reply to bearophile_hugs from comment #4)
>
> This compiles, but is it good?
>
>
> void foo() nothrow
> in {
> throw new Exception(null);
> } body {
> }
> void main() {}
I think it's a bug. 'debug' blocks
https://issues.dlang.org/show_bug.cgi?id=13118
Dicebot changed:
What|Removed |Added
CC||pub...@dicebot.lv
--- Comment #6 from Dicebot ---
https://issues.dlang.org/show_bug.cgi?id=13118
--- Comment #7 from bearophile_h...@eml.cc ---
(In reply to yebblies from comment #5)
> I think it's a bug. 'debug' blocks do skip checking, but seeing as pure,
> @safe and @nogc are enforced it's probably just been overlooked.
Filed as Issue 13123
https://issues.dlang.org/show_bug.cgi?id=13118
--- Comment #8 from Denis Shelomovskij ---
(In reply to yebblies from comment #3)
> (In reply to Denis Shelomovskij from comment #0)
> > This code should compile:
> > ---
> > void f() @nogc
> > in { new int; }
> > body { }
> > ---
> >
> > Note this
https://issues.dlang.org/show_bug.cgi?id=13118
--- Comment #9 from yebblies ---
(In reply to Denis Shelomovskij from comment #8)
>
> `assert` is here just because it is where `format` is called. I'm talking
> about `format`.
You're right, I missed that, but it is addressed in the other comments
https://issues.dlang.org/show_bug.cgi?id=13118
Stanislav Blinov changed:
What|Removed |Added
Status|NEW |RESOLVED
CC|
10 matches
Mail list logo