reason icon indicating copy to clipboard operation
reason copied to clipboard

Outcome printer incoherence with conjunctive types

Open Octachron opened this issue 6 years ago • 0 comments

When printing conjunctive types, like

type t = pri [< `X &(int) &(float)];

the outcome printer outputs:

type t = pri [< `X &(int & float)];

which cannot be parsed back by reason parser.

(Note that conjunctive types are mostly a type-checking artefact, an they are not really intended to be used directly, so the incoherence is quite minor.)

Octachron avatar Apr 28 '19 09:04 Octachron