You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4954 Reporter:@rixed Status: closed (set by @damiendoligez on 2010-01-07T14:45:28Z) Resolution: fixed Priority: normal Severity: trivial Version: 3.11.1 Fixed in version: 3.12.0+dev Category: documentation
Bug description
Chapter 20 (standard library) does not link to the Pervasive module description,
although section 6.7.4 refer to this page for further documentation on the operators :
"(See the description of the standard library module Pervasive in chapter 20 for more details)".
Pervasive module description should be added in chapter 20.
The text was updated successfully, but these errors were encountered:
Original bug ID: 4954
Reporter: @rixed
Status: closed (set by @damiendoligez on 2010-01-07T14:45:28Z)
Resolution: fixed
Priority: normal
Severity: trivial
Version: 3.11.1
Fixed in version: 3.12.0+dev
Category: documentation
Bug description
Chapter 20 (standard library) does not link to the Pervasive module description,
although section 6.7.4 refer to this page for further documentation on the operators :
"(See the description of the standard library module Pervasive in chapter 20 for more details)".
Pervasive module description should be added in chapter 20.
The text was updated successfully, but these errors were encountered: