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: 4803 Reporter: gildor Status: closed (set by @xavierleroy on 2010-05-14T08:25:55Z) Resolution: fixed Priority: normal Severity: minor Version: 3.11.0 Fixed in version: 3.12.0+dev Category: documentation Related to:#4753
Bug description
I think the subsection "18.3.6 Variants" is misnamed, since it is only talking about "Polymorphic variants". Renaming chapter to "18.3.6 Polymorphic variants" should be better.
Also a couple of simple examples for "18.3.4 Concrete types" should also be welcomed, to illustrate variant value:
Constructed term: None
Representation: Value_int(0); first constant constructor of None | Some int
Constructed term: Some 1234
Representation: Block with size = 1 and tag = 0; first non-constant constructor of None | Some int and first field contains Value_int(1234)
Thanks
Sylvain Le Gall
The text was updated successfully, but these errors were encountered:
Original bug ID: 4803
Reporter: gildor
Status: closed (set by @xavierleroy on 2010-05-14T08:25:55Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.11.0
Fixed in version: 3.12.0+dev
Category: documentation
Related to: #4753
Bug description
I think the subsection "18.3.6 Variants" is misnamed, since it is only talking about "Polymorphic variants". Renaming chapter to "18.3.6 Polymorphic variants" should be better.
Also a couple of simple examples for "18.3.4 Concrete types" should also be welcomed, to illustrate variant value:
Constructed term: None
Representation: Value_int(0); first constant constructor of None | Some int
Constructed term: Some 1234
Representation: Block with size = 1 and tag = 0; first non-constant constructor of None | Some int and first field contains Value_int(1234)
Thanks
Sylvain Le Gall
The text was updated successfully, but these errors were encountered: