realworldocaml/book

Update the memory model chapter

yminsky-janestreet opened this issue · 1 comments

yminsky-janestreet commented

There are a bunch of weird cases that maybe we should highlight, like the difference in memory representation between:

{ x: int; y: int }
| A of { x: int; y: int }
| B of (int * int)
| B of int * int

is not super intuitive...