[Issue 12741] DMD accepts functions with contracts and no body

2015-02-18 Thread via Digitalmars-d-bugs 
https://issues.dlang.org/show_bug.cgi?id=12741

--- Comment #4 from github-bugzi...@puremagic.com ---
Commits pushed to 2.067 at https://github.com/D-Programming-Language/dlang.org

https://github.com/D-Programming-Language/dlang.org/commit/1c970a38fe8925571676a2bd155c00961e651d9a
fix Issue 12741 - DMD accepts functions with contracts and no body

https://github.com/D-Programming-Language/dlang.org/commit/699e98f9a5a80d31380369438506ba0a68466a74
Merge pull request #657 from 9rnsr/fix12741

--

[Issue 12741] DMD accepts functions with contracts and no body

2014-09-18 Thread via Digitalmars-d-bugs 
https://issues.dlang.org/show_bug.cgi?id=12741

Kenji Hara k.hara...@gmail.com changed:

   What|Removed |Added

   Keywords||pull

--- Comment #2 from Kenji Hara k.hara...@gmail.com ---
https://github.com/D-Programming-Language/dlang.org/pull/657

--

[Issue 12741] DMD accepts functions with contracts and no body

2014-05-12 Thread via Digitalmars-d-bugs 
https://issues.dlang.org/show_bug.cgi?id=12741

briancsch...@gmail.com changed:

   What|Removed |Added

   Keywords||accepts-invalid, spec
 Blocks||10233

--

[Issue 12741] DMD accepts functions with contracts and no body

2014-05-12 Thread via Digitalmars-d-bugs 
https://issues.dlang.org/show_bug.cgi?id=12741

j...@red.email.ne.jp changed:

   What|Removed |Added

   Keywords|accepts-invalid |
 CC||j...@red.email.ne.jp

--- Comment #1 from j...@red.email.ne.jp ---
This is as expected and is a document bug.

See:
http://dlang.org/interface.html#InterfaceContracts

--