| 275 |
]; |
]; |
| 276 |
END |
END |
| 277 |
|
|
| 278 |
|
let pat' = Grammar.Entry.create gram "type/pattern expression" |
| 279 |
|
EXTEND GLOBAL: pat pat'; |
| 280 |
|
pat': [ [ p = pat; EOI -> p ] ]; |
| 281 |
|
END |
| 282 |
|
|
| 283 |
let pat = Grammar.Entry.parse pat |
let pat = Grammar.Entry.parse pat |
| 284 |
let expr = Grammar.Entry.parse expr |
let expr = Grammar.Entry.parse expr |
| 285 |
let prog = Grammar.Entry.parse prog |
let prog = Grammar.Entry.parse prog |
| 286 |
|
|
| 287 |
module From_string = struct |
module From_string = struct |
| 288 |
let pat s = pat (Stream.of_string s) |
let pat s = Grammar.Entry.parse pat' (Stream.of_string s) |
| 289 |
let expr s = expr (Stream.of_string s) |
let expr s = expr (Stream.of_string s) |
| 290 |
end |
end |
| 291 |
|
|
Parent Directory
| 
Revision Log
| 
Patch