| Anonymous | Login | Signup for a new account | 2013-05-22 22:49 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0000239 | OCaml | OCaml general | public | 2000-12-03 15:13 | 2012-03-12 15:39 | |||||||
| Reporter | administrator | |||||||||||
| Assigned To | ||||||||||||
| Priority | low | Severity | feature | Reproducibility | always | |||||||
| Status | resolved | Resolution | won't fix | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | ||||||||||||
| Target Version | Fixed in Version | |||||||||||
| Summary | 0000239: feature wish: read_file + read_channel | |||||||||||
| Description | Hello, this is a followup to PR#184 (feature wish: "read_channel"). My code example for "read_channel_aux" contains correct but redundant code and should look as follows (whomever it may concern): --------------------------------------------------------------------------- let rec read_channel_aux len lst buf_size ch = let buf = String.create buf_size in let n = input ch buf 0 buf_size in if n <> 0 then read_channel_aux (len+n) ((buf,n)::lst) buf_size ch else begin let res = String.create len in copy_lst res len lst; res end --------------------------------------------------------------------------- Sorry for my perfectionism ;) Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl [^] | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
Relationships |
||||||
|
||||||
Notes |
|
|
(0000103) administrator (administrator) 2002-11-06 17:07 |
see PR#184 |
|
(0007046) doligez (manager) 2012-03-12 15:39 |
The official word on this feature: You should use Jane St Core, or Batteries, or Extlib, which all provide this functionality. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2005-11-18 10:13 | administrator | New Issue | |
| 2008-01-22 13:37 | doligez | Relationship added | related to 0000184 |
| 2008-01-22 13:37 | doligez | Relationship deleted | related to 0000184 |
| 2008-01-22 13:37 | doligez | Relationship added | child of 0000184 |
| 2012-01-20 14:45 | doligez | Priority | normal => low |
| 2012-01-20 14:45 | doligez | Description Updated | View Revisions |
| 2012-03-12 15:39 | doligez | Note Added: 0007046 | |
| 2012-03-12 15:39 | doligez | Status | acknowledged => resolved |
| 2012-03-12 15:39 | doligez | Resolution | open => won't fix |
| Copyright © 2000 - 2011 MantisBT Group |