| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0004770 | OCaml | OCaml general | public | 2009-04-15 15:40 | 2009-04-29 15:53 |
|
| Reporter | dra | |
| Assigned To | | |
| Priority | normal | Severity | feature | Reproducibility | always |
| Status | acknowledged | Resolution | open | |
| Platform | | OS | | OS Version | |
| Product Version | 3.11.0 | |
| Target Version | | Fixed in Version | | |
|
| Summary | 0004770: ocamllex extended to bind to list types for variable bindings with a + or * regexp |
| Description | In the following ocamllex script:
rule test = parse
"foo" (' '+ ("bar"+ as matched))+
{matched}
{
test (Lexing.from_string "foo bar barbar barbarbar")
}
The result is "barbarbar" - i.e. the variable [matched] corresponds to its final string match.
Would it be particularly difficult for [matched] to be inferred as of type string list and so map to ["bar"; "barbar"; "barbarbar"] in this instance? |
| Additional Information | I would think it's reasonable that noone would write a script like that at the moment as only returning the final match is probably both not useful and also undefined behaviour. |
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships 