Code

Opt-in return type checks#8502

Code

Merged

mergify[bot] merged 16 commits intodevelopenso-org/enso:developfrom wip/radeusgd/8240-check-return-typeenso-org/enso:wip/radeusgd/8240-check-return-typeCopy head branch name to clipboardDec 19, 2023

+486-25

Commits

Commits on Dec 16, 2023

• testing detection of RTS

  radeusgd

  committed
  d65b66a

  Copy full SHA for d65b66a

• resolve return type in all kinds of function definitions

  radeusgd

  committed
  8b7b633

  Copy full SHA for 8b7b633

• add tests specifying the expected behaviour of RTTC

  radeusgd

  committed
  6fe1f87

  Copy full SHA for 6fe1f87

• more tests

  radeusgd

  committed
  1b25bf0

  Copy full SHA for 1b25bf0

• add test for 0-arg inline expressions/blocks

  radeusgd

  committed
  0ce0612

  Copy full SHA for 0ce0612

• adding return type to Method.Binding

  radeusgd

  committed
  607da6b

  Copy full SHA for 607da6b

• implement a PoC simply by wrapping body of opted-in functions in a type ascription

  radeusgd

  committed
  6fa0e04

  Copy full SHA for 6fa0e04

• add TCO check

  radeusgd

  committed
  1b73576

  Copy full SHA for 1b73576

• more arg type checks in Sieve_Ascribed.enso

  radeusgd

  committed
  cbc577c

  Copy full SHA for cbc577c

• add return checks to sieve bench

  radeusgd

  committed
  f1b2f2a

  Copy full SHA for f1b2f2a

• fix import

  radeusgd

  committed
  4de63df

  Copy full SHA for 4de63df

• doc

  radeusgd

  committed
  26a433f

  Copy full SHA for 26a433f

• reformat after rebase

  radeusgd

  committed
  f44a285

  Copy full SHA for f44a285

• fixes

  radeusgd

  committed
  78efd1f

  Copy full SHA for 78efd1f

• CR?

  radeusgd

  committed
  7b2e2fd

  Copy full SHA for 7b2e2fd

• changelog

  radeusgd

  committed
  368bc56

  Copy full SHA for 368bc56