Improve documentation of record wildcards
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 25 Aug 2014 15:18:03 +0000 (16:18 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 25 Aug 2014 15:18:03 +0000 (16:18 +0100)
commit67a6ade91b77fb2252ebdad34a934d9fb54eb43d
tree4801b2253ec42099c6170eecd1b027d8f496cc27
parent06600e74444d22caff1fa8c7eef0e4e2debd60b9
Improve documentation of record wildcards

In particular mention that they aren't allowed for record updates.

Triggered by Trac #9437
docs/users_guide/glasgow_exts.xml