Pattern matching

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Aliquam finibus leo sed accumsan euismod. Integer eu sapien eget felis elementum porttitor non sed mauris. Vestibulum hendrerit ex sit amet augue gravida, sed pulvinar tortor facilisis. Duis porta sagittis dui. Ut tristique blandit facilisis. Nunc eget sem rhoncus, facilisis dolor et, vehicula tortor. Phasellus commodo tristique lorem ac posuere. Mauris at eleifend erat. Curabitur mattis erat ex, scelerisque dignissim est sagittis at. Pellentesque ultricies vehicula dolor non varius. Nunc ut ex mattis, sodales augue a, vestibulum ligula.

match key with
| "title" -> (* record a title *)
| "date" -> (* parse a real calendar date *)
| "draft" -> (* accept exactly true or false *)
| unknown -> (* return a located error *)

Maecenas eleifend egestas nisi in accumsan. Suspendisse vitae varius leo. Ut id volutpat magna. Pellentesque auctor a tortor non condimentum. Quisque malesuada, nisi id elementum mattis, dolor ligula consectetur augue, quis lobortis lorem odio in eros. Vivamus in felis vel nibh egestas interdum at sed lorem. Nullam sit amet enim rutrum, lacinia augue ut, fermentum arcu.

Maecenas sem leo, ornare id porta ac, lobortis ut ligula. Orci varius natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Mauris tempor consectetur vulputate. Nam ultricies consequat interdum. Ut fermentum lacus in nulla ultrices, at tempus dolor fringilla. Nulla non eleifend arcu. Curabitur diam justo, auctor et tempus eget, vehicula non lacus. Vivamus hendrerit sodales lectus ut vehicula.

Aenean consequat dignissim nunc sed convallis. Phasellus dolor enim, congue at finibus id, rutrum ut eros. Integer maximus dui ut dolor tincidunt accumsan. Curabitur aliquet ligula sit amet leo placerat lacinia. Pellentesque vel dui gravida, scelerisque ligula vitae, elementum enim. Mauris placerat risus id mauris imperdiet elementum. Nulla et volutpat sem. Cras eget magna dapibus erat dapibus sollicitudin at eu enim. Sed fringilla turpis et risus bibendum tincidunt.

Etiam venenatis faucibus velit, id fermentum metus dignissim nec. Morbi ac molestie risus, vel pulvinar quam. Fusce quis leo commodo, auctor nunc vitae, molestie nisl. Proin auctor mauris vel purus malesuada, at eleifend elit iaculis. Aenean accumsan dolor faucibus enim ullamcorper luctus. Maecenas eros urna, tempus eu lobortis eu, facilisis ut sapien. Donec fermentum volutpat laoreet. Sed mi metus, volutpat et fringilla efficitur, venenatis eget nisi. Etiam neque diam, vestibulum sit amet mauris nec, tincidunt mattis nunc. Nunc pretium suscipit velit id pellentesque