Howdy! On the discord channel this morning, someone brought up the fact that in type foo = | A of int*int | B of (int*int) that A and B are quite different. A is a constructor taking two arguments, even though it looks like it takes a tuple, while B actually takes a tuple. This means that the tw…

Sum type constructor declaration subtlety (and documentation wanted!)

n4323 April 24, 2018, 9:20am 5

See also here: Constructors with several arguments .
The ‘revised syntax’ tried to fix that. I wonder what Reason does here?

Topic		Replies	Views
Why is (intint) not the same thing as intint in OCaml Learning	4	2434	April 17, 2019
Constructors with several arguments Learning	4	6312	August 25, 2017
Why constructors are not curried? Learning	7	743	January 8, 2024
Confused about the application operator's behavior with type variant constructors Learning	8	558	December 16, 2022
OCaml compiler development newsletter, issue 2: May 2021 Community compiler , news , compiler-newsletter	8	2775	June 23, 2021