Consider the two following code snippets type atp type smt type _ config = | ConfigSmt : smt config | ConfigAtp : atp config let digest : smt config -> unit = fun cfg -> match cfg with ConfigSmt -> () and module M = struct type atp type smt type _ config = | ConfigSmt : smt confi…

This is because atp and smt have no representation outside the current module, so the compiler cannot deduce that they are different. One trick is to give them a form in the : type atp = Atp type smt = Smt

Generalised abstract data types, phantom types and modules

Learning

koizel February 28, 2024, 10:47am 3

My bad, this is a duplicate of Unable to refute impossible GADT pattern when phantom types belong to a module

Topic		Replies	Views
Unable to refute impossible GADT pattern when phantom types belong to a module Community	1	518	September 13, 2022
Private type abbreviations Learning	2	130	November 2, 2024
Avoiding extra matching with extensible GADTs Learning gadt , type-inference	19	667	September 21, 2024
GADT exhaustiveness Learning	15	2453	January 31, 2018
Type inference vs pointfree style Learning type-system , type-inference	1	237	December 12, 2024

Generalised abstract data types, phantom types and modules

Related topics