Code

Add return types to procedures#1197

Code

Merged

jubnzv merged 46 commits intomasterZilliqa/scilla:masterfrom 578_returnZilliqa/scilla:578_returnCopy head branch name to clipboardJan 17, 2023

+1,548-284

Commits

Commits on Oct 26, 2022

• feat(all): return keyword and Return statement in AST

  jubnzv

  committed
  e601446

  Copy full SHA for e601446

• feat(all): Add return type to procedures

  jubnzv

  committed
  973658d

  Copy full SHA for 973658d

Commits on Oct 27, 2022

• chore(parser): Return syntax: procedure p() → String

  jubnzv

  committed
  44acbbb

  Copy full SHA for 44acbbb

• feat(tc): Support procedures w/ return types

  Show description for 6ff412a
  jubnzv

  committed
  6ff412a

  Copy full SHA for 6ff412a

Commits on Oct 28, 2022

• fix(tests): Remove a redundant test

  jubnzv

  committed
  3fa5d21

  Copy full SHA for 3fa5d21

• fix(fmt): Correct return syntax w/o extra spaces

  jubnzv

  committed
  18dbf5f

  Copy full SHA for 18dbf5f

• chore(parser): Update ParserFaults.messages

  jubnzv

  committed
  34a3ea2

  Copy full SHA for 34a3ea2

• chore(makefile): Fix a typo. NFC.

  jubnzv

  committed
  172e45d

  Copy full SHA for 172e45d

Commits on Nov 5, 2022

• wip

  jubnzv

  committed
  99dd697

  Copy full SHA for 99dd697

Commits on Nov 7, 2022

• chore(dcd): Simplify code. NFC.

  jubnzv

  committed
  8989a07

  Copy full SHA for 8989a07

Commits on Nov 9, 2022

• feat(all): Support return values in CallProc statement

  jubnzv

  committed
  e03e0a9

  Copy full SHA for e03e0a9

• feat(parser): Disambiguate between functions and procedures

  jubnzv

  committed
  573e670

  Copy full SHA for 573e670

Commits on Nov 10, 2022

• feat(merge,fmt): Support return

  jubnzv

  committed
  7d466cc

  Copy full SHA for 7d466cc

Commits on Nov 11, 2022

• feat(parser): Disambiguate [Bind(id, Var(proc))] which are procedure calls

  jubnzv

  committed
  5f2f54f

  Copy full SHA for 5f2f54f

• feat(eval): Support return values

  jubnzv

  committed
  719ffb7

  Copy full SHA for 719ffb7

Commits on Nov 17, 2022

• chore(checker): Rename, because this may be both cmod and lmod

  jubnzv

  committed
  b5c2e71

  Copy full SHA for b5c2e71

• fix(checker): Disambiguate calls in cmod

  jubnzv

  committed
  24532c7

  Copy full SHA for 24532c7

• fix(typechecker): Add new binds after procedure call to env

  jubnzv

  committed
  e30fb3e

  Copy full SHA for e30fb3e

• chore(test): Improve a test for formatter

  jubnzv

  committed
  1ce75d4

  Copy full SHA for 1ce75d4

• feat(test): Add runner test for return

  jubnzv

  committed
  2c7e056

  Copy full SHA for 2c7e056

• chore(cf): Better comment

  jubnzv

  committed
  a578852

  Copy full SHA for a578852

• fix(dcd): False positive on return statement

  jubnzv

  committed
  2464898

  Copy full SHA for 2464898

• fix(fmt): make fmt

  jubnzv

  committed
  b9906e4

  Copy full SHA for b9906e4

• feat(typecheck): Prohibit procedures w/ return in forall

  jubnzv

  committed
  fdcbe02

  Copy full SHA for fdcbe02

• chore(gitignore): Rollback local changes

  jubnzv

  committed
  eb7f7d7

  Copy full SHA for eb7f7d7

Commits on Nov 22, 2022

• feat(typecheck): Restrict return types to non-maps, for consistency

  jubnzv

  committed
  982f548

  Copy full SHA for 982f548

• fix(cf): Use NoInfo instead NotMoney

  jubnzv

  committed
  4eb8256

  Copy full SHA for 4eb8256

• fix(typechecker): Text of error

  jubnzv

  committed
  299a34a

  Copy full SHA for 299a34a

• fix(tests): Directory structure

  jubnzv

  committed
  e110e24

  Copy full SHA for e110e24

• fix(typecheck): Error message; add test

  jubnzv

  committed
  5fb80e5

  Copy full SHA for 5fb80e5

• fix(test): Name of test

  jubnzv

  committed
  d522245

  Copy full SHA for d522245

Commits on Nov 28, 2022

• feat(sc): Forbid dead code after returns and inconsistent return in matches

  jubnzv

  committed
  fa8d18f

  Copy full SHA for fa8d18f

• feat(sc): Improve analysis of nested matches

  jubnzv

  committed
  b60b3bb

  Copy full SHA for b60b3bb

• feat(tests): Improve tests for matches

  jubnzv

  committed
  ed6de9c

  Copy full SHA for ed6de9c

• feat(tests): Improve dynamic behavior tests

  jubnzv

  committed
  d17e642

  Copy full SHA for d17e642

Commits on Dec 8, 2022

• Merge remote-tracking branch 'zilliqa/master' into 578_return

  jubnzv

  committed
  84d6807

  Copy full SHA for 84d6807

• feat(syntax): Use _return := x in concrete syntax

  jubnzv

  committed
  224a0e3

  Copy full SHA for 224a0e3

• feat(tests): More tests for contract addresses

  jubnzv

  committed
  2f282fe

  Copy full SHA for 2f282fe

Commits on Dec 9, 2022

• feat(syntax): Use procedure x() : type concrete syntax

  jubnzv

  committed
  f8265fa

  Copy full SHA for f8265fa

Commits on Jan 4, 2023

• Merge remote-tracking branch 'zilliqa/master' into 578_return

  jubnzv

  committed
  c237b09

  Copy full SHA for c237b09

Commits on Jan 10, 2023

• fix(sc): Error message

  jubnzv

  committed
  fe65606

  Copy full SHA for fe65606

Commits on Jan 17, 2023

• chore(typechecker): Change error message

  jubnzv

  committed
  20ff941

  Copy full SHA for 20ff941

• Merge remote-tracking branch 'zilliqa/master' into 578_return

  jubnzv

  committed
  a0dad49

  Copy full SHA for a0dad49

• fix(tests): Formatter test

  jubnzv

  committed
  f483b4c

  Copy full SHA for f483b4c

• Merge branch 'master' into 578_return

  jubnzv

  authored
  34337c1

  Copy full SHA for 34337c1

• Merge branch 'master' into 578_return

  jubnzv

  authored
  ae3c1c2

  Copy full SHA for ae3c1c2