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: 5264 Reporter: znajem Status: closed (set by @xavierleroy on 2013-08-31T10:46:29Z) Resolution: fixed Priority: normal Severity: minor Version: 3.12.0 Fixed in version: 3.13.0+dev Category: documentation Child of:#5261
Bug description
The parsing part of the (symbolic processing of expressions) example reports errors. The error messages are included in both the HTML and PDF versions of the release 3.12 manual.
To fix, I added the following line to the beginning of the code:
##load "dynlink.cma"
As a minor suggestion, I think the example should indicate that it uses polymorphic variants (which is not introduced until section 4.2) rather than the normal variants that were introduced in section 1.4
The text was updated successfully, but these errors were encountered:
You do not have to apologize; duplicates are not a big problem as long as we detect them...
Moreover, it is sometimes tricky for a reporter to successfully search for a previously reported problem.
But the example does not use polymorphic variants, and I can't find any occurrence of the backquote character before section 4.2. I'm closing this report.
Original bug ID: 5264
Reporter: znajem
Status: closed (set by @xavierleroy on 2013-08-31T10:46:29Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.12.0
Fixed in version: 3.13.0+dev
Category: documentation
Child of: #5261
Bug description
The parsing part of the (symbolic processing of expressions) example reports errors. The error messages are included in both the HTML and PDF versions of the release 3.12 manual.
To fix, I added the following line to the beginning of the code:
##load "dynlink.cma"
As a minor suggestion, I think the example should indicate that it uses polymorphic variants (which is not introduced until section 4.2) rather than the normal variants that were introduced in section 1.4
The text was updated successfully, but these errors were encountered: