daml icon indicating copy to clipboard operation
daml copied to clipboard

Published 20 hours ago • verified publisher icon digital-asset

LF Flattening: Floating Kinds, initial implementation

Open roger-bosman-da opened this issue 4 months ago • 0 comments

  • [x] Extend the protobuf in backwards-compatible fashion
  • [x] Fix (de)coding such that compilation succeeds and usage of the new fields is rejected
    • [x] Haskell
    • [x] Scala
  • [ ] Extend (de)coding to float expressions
    • [ ] Haskell
    • [ ] Scala
  • [ ] Add tests?
  • [ ] use default proto limit for 2.dev (currently 1000, default = 100)

roger-bosman-da avatar Jun 11 '25 09:06 roger-bosman-da