The use of a rigid variant type puts a downward pressure on making new warnings, and forcing languages to provide their own rigid variant type is clunky. Replacing this with something like Base's Info.t might make things easier, at the possible cost of introducing a load of S-expressions.
The use of a rigid variant type puts a downward pressure on making new warnings, and forcing languages to provide their own rigid variant type is clunky. Replacing this with something like Base's
Info.tmight make things easier, at the possible cost of introducing a load of S-expressions.