Hi everyone. I have noticed a very strange behaviour for GADTs when using pattern matching. Consider the following type and function : type _ t = | A : int t | B : int t | C : char t let f : type a. a t -> (a -> string) = function | A -> string_of_int | B -> string_of_int | C -> String…

GADT and OR pattern matching

YueLiPicasso February 12, 2022, 7:36pm 3

I find a similar problem with or-pattern and GADT …

Topic		Replies	Views
GADTs and match cases Learning	3	340	January 3, 2024
Matching incompatible GADT constructors Learning	6	2899	August 10, 2017
Locally Abstract Types in an Or-pattern with a GADT Scrutinee: Clash during Refinement? Learning gadt , pattern	5	1102	February 14, 2022
Two questions about GADTs Learning gadt	4	1049	February 13, 2019
Concretizing abstract types across multiple constructors with pattern matching Learning	3	485	February 1, 2023