Req #32100 [Csd]: Request 'finally' support for exceptions
From: laruence@php.net Date: Sat, 01 Sep 2012 07:00:57 +0000 Subject: Req #32100 [Csd]: Request 'finally' support for exceptions References: 1 Groups: php.bugs Request: Send a blank email to php-bugs+get-173080@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=32100&edit=1
ID: 32100
Updated by: laruence@php.net
Reported by: ceefour at gauldong dot net
Summary: Request 'finally' support for exceptions
Status: Closed
Type: Feature/Change Request
Package: *General Issues
Operating System: *
PHP Version: 5.*
Assigned To: laruence
Block user comment: N
Private report: N
New Comment:
that trunk is 5.4-branch-master
please fetch it by git clone: http://git.php.net/?p=php-src.git;a=summary
Previous Comments:
------------------------------------------------------------------------
[2012-09-01 01:34:26] andrew dot feller at gmail dot com
It has been nearly 3 weeks but this fix cannot be found in PHP trunk at http://snaps.php.net/ Was there a build this was slated to be
included within?
------------------------------------------------------------------------
[2012-08-13 13:49:22] laruence@php.net
This bug has been fixed in SVN.
Snapshots of the sources are packaged every three hours; this change
will be in the next snapshot. You can grab the snapshot at
http://snaps.php.net/.
For Windows:
http://windows.php.net/snapshots/
Thank you for the report, and for helping us make PHP better.
------------------------------------------------------------------------
[2012-08-03 04:47:29] ceefour at gauldong dot net
This is awesome !
My next suggestion would be automatic resource management.
e.g. in Scala :
import resource._
val first_ten_bytes = managed(new FileInputStream("test.txt")) map {
input =>
val buffer = new Array[Byte](10)
input.read(buffer)
buffer
}
or in Java 7 :
static String readFirstLineFromFile(String path) throws IOException {
try (BufferedReader br =
new BufferedReader(new FileReader(path))) {
return br.readLine();
}
}
But "finally" as it stands already rocks!!! Hopefully we can see it in PHP sooner than
later..... We've been waiting for a little bit too long (7 years) ;-)
------------------------------------------------------------------------
[2012-08-03 04:38:39] ceefour at gauldong dot net
Finally! :-)
Thanks a lot
------------------------------------------------------------------------
[2012-07-26 02:10:42] laruence@php.net
RFC complete, https://wiki.php.net/rfc/finally
------------------------------------------------------------------------
The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
https://bugs.php.net/bug.php?id=32100
--
Edit this bug report at https://bugs.php.net/bug.php?id=32100&edit=1
Thread (53 messages)
- #32100 [Opn]: Request 'finally' support for exceptions
- #32100 [Opn]: Request 'finally' support for exceptions
- #32100 [Opn->Csd]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Csd->ReO]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [ReO]: Request 'finally' support for exceptions
- Req #32100 [ReO]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [ReO->Csd]: Request 'finally' support for exceptions
- Req #32100 [Com]: Request 'finally' support for exceptions
- Req #32100 [Csd]: Request 'finally' support for exceptions
| « previous | php.bugs (#173080) | next » |
|---|