What does `[< >]` mean in OCaml?

Question

I have seen some source code having

let rec parse_document = parser
    | [< len = parse_int32; st; >] ->
      parse_list [] (ES.take_int32 len st)
    | [< >] -> malformed "parse_document"

Can I know what is [< >] inside? it is too hard to google about this kind of signs.

score 7 · Accepted Answer · answered Apr 22 '13 at 15:05

7

This is a syntactic sugar for the Stream datatype. Its manipulation is described in detail in this chapter of the book Developping Applications with OCaml.

The syntactic sugar is not built-in in the compiler, it needs to be preprocessed by the Camlp4 preprocessor. To do that, you have to add -pp camlp4o to your compilation command line.

answered Apr 22 '13 at 15:05

gasche

31,259
3
78
100

what's `>>` inside `let encode_to_string = encode_to_buffer >> Buffer.contents` – Jackson Tale Apr 22 '13 at 15:52
It's a user-defined infix operator: `let (>>) f g = ...`. You have to check the definition, but from the names it looks like reverse function composition: `let (>>) f g = fun x -> g (f x)`. – gasche Apr 22 '13 at 16:45

score 2 · Answer 2 · answered Apr 22 '13 at 15:03

2

This is a stream. It is used mainly to create parsers. But streams have been removed from OCaml and are now provided as a camlp4 extension.

answered Apr 22 '13 at 15:03

Thomash

6,339
1
30
50

score 2 · Answer 3 · answered Apr 22 '13 at 15:04

2

It is part of the Stream parsing syntax extension, and it means the empty stream.

answered Apr 22 '13 at 15:04

Török Edwin

561
2
5

score 1 · Answer 4 · answered Apr 22 '13 at 15:03

That's the literal syntax for streams. A stream is just like a list except that only one element is available at a time and you remove the first element by reading it.

It seems primarily used for parser code. Parsers--declared with the parser keyword as in your example--are the functions that can "consume" elements of the stream.

What does `[< >]` mean in OCaml?

4 Answers4

Linked