Code

Extend type bounds#3059

Code

Open

turbolent wants to merge 17 commits intomasteronflow/cadence:masterfrom bastian/extended-type-boundsonflow/cadence:bastian/extended-type-boundsCopy head branch name to clipboard

+1,893-609

Commits

Commits on Jan 30, 2024

• extend type bounds

  turbolent

  committed
  f384c22

  Copy full SHA for f384c22

Commits on Apr 2, 2024

• Merge branch 'master' of github.com:onflow/cadence into bastian/extended-type-bounds

  dsainati1

  committed
  fffddb5

  Copy full SHA for fffddb5

• refactor for composability

  dsainati1

  committed
  e0640f5

  Copy full SHA for e0640f5

• rewrite newly added type arguments checks with generalized bounds

  dsainati1

  committed
  cc6fb76

  Copy full SHA for cc6fb76

• use generalized bounds for inclusive range

  dsainati1

  committed
  539f15f

  Copy full SHA for 539f15f

• composition functions for type bounds

  dsainati1

  committed
  236ba13

  Copy full SHA for 236ba13

• pretty printing for type bounds

  dsainati1

  committed
  142bf81

  Copy full SHA for 142bf81

• better printing

  dsainati1

  committed
  39e8158

  Copy full SHA for 39e8158

• golf

  dsainati1

  committed
  047709c

  Copy full SHA for 047709c

• nicer printing for inclusive range param

  dsainati1

  committed
  6ea0b02

  Copy full SHA for 6ea0b02

Commits on Apr 3, 2024

• encoding and decoding json/types

  dsainati1

  committed
  decdd94

  Copy full SHA for decdd94

• basic ccf implementation for subtype bounds

  dsainati1

  committed
  5f32e10

  Copy full SHA for 5f32e10

• Merge branch 'master' of github.com:onflow/cadence into bastian/extended-type-bounds

  dsainati1

  committed
  ac6cc85

  Copy full SHA for ac6cc85

• printing for type params

  dsainati1

  committed
  2259e0c

  Copy full SHA for 2259e0c

• add tests for partially ordered types

  dsainati1

  committed
  0a62edc

  Copy full SHA for 0a62edc

• add supertype type bound because our types aren't a total order

  dsainati1

  committed
  c9f25da

  Copy full SHA for c9f25da

• generate

  dsainati1

  committed
  7e8d0d5

  Copy full SHA for 7e8d0d5