search

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

JSon instances for Map/Set require Ord constraint #225

Open bladyjoker opened 1 month ago

bladyjoker commented 1 month ago

https://github.com/mlabs-haskell/lambda-buffers/blob/f5acbc09718191cdfbf374ee5aaeacf626b8b9e9/runtimes/haskell/lbr-prelude/src/LambdaBuffers/Runtime/Prelude/Json.hs#L140

sum X = Y | Z
derive Json X

record Test  = {
  test : Map X Integer
}
derive Json Test

The generated code will break because X doesn't have Ord.

See #224