Change the OID of composites from unknown to record

This commit is contained in:
Nikita Volkov 2023-10-31 19:58:48 +03:00
parent e8c8eb126f
commit 25f05bae79

View File

@ -304,7 +304,7 @@ array (Array (Array.Array valueOID arrayOID arrayEncoder renderer)) =
-- Lift a composite encoder into a value encoder.
composite :: Composite a -> Value a
composite (Composite encode print) =
Value (Value.unsafePTI PTI.binaryUnknown encodeValue printValue)
Value (Value.unsafePTI PTI.record encodeValue printValue)
where
encodeValue idt val =
A.composite $ encode val idt