RecordPair TyConName ValConName
does not serialize nicely in the OpenAPI API
#1246
Labels
RecordPair TyConName ValConName
does not serialize nicely in the OpenAPI API
#1246
In #1241, we would like to return an error with a
RecordPair TyConName ValConName
when the interpreter encounters an unknownValConName
, corresponding to thisInterpError
:primer/primer/src/Primer/EvalFullInterp.hs
Line 115 in ba231d0
However,
RecordPair TyConName ValConName
doesn't serialize nicely in the OpenAPI API, producing this illegal name:The text was updated successfully, but these errors were encountered: