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: 5850 Reporter: micinski Status: closed (set by @damiendoligez on 2013-02-19T10:54:38Z) Resolution: fixed Priority: normal Severity: minor Version: 4.00.0 Category: documentation
Bug description
In the Manual, Chapter 4 on Polymorphic variants reads as follows:
"That is, if you have defined type myvariant = [Tag1 int | Tag2 bool], then the pattern #myvariant is equivalent to writing (Tag1(_ : int) | Tag2(_ : bool))."
However, this is not correct, it should read:
That is, if you have defined type myvariant = [Tag1 of int | Tag2 of bool], then the pattern #myvariant is equivalent to writing (Tag1(_ : int) | Tag2(_ : bool)).
The text was updated successfully, but these errors were encountered:
Original bug ID: 5850
Reporter: micinski
Status: closed (set by @damiendoligez on 2013-02-19T10:54:38Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.00.0
Category: documentation
Bug description
In the Manual, Chapter 4 on Polymorphic variants reads as follows:
"That is, if you have defined type myvariant = [
Tag1 int |
Tag2 bool], then the pattern #myvariant is equivalent to writing (Tag1(_ : int) |
Tag2(_ : bool))."However, this is not correct, it should read:
That is, if you have defined type myvariant = [
Tag1 of int |
Tag2 of bool], then the pattern #myvariant is equivalent to writing (Tag1(_ : int) |
Tag2(_ : bool)).The text was updated successfully, but these errors were encountered: