Code

Partial application of procedures#1226

Code

Draft

jubnzv wants to merge 8 commits intomasterZilliqa/scilla:masterfrom 577_partial_applicationZilliqa/scilla:577_partial_applicationCopy head branch name to clipboard

+389-94

Commits

Commits on Feb 7, 2023

• chore(type): Add docstrings to the type description

  jubnzv

  committed
  2281196

• feat(tc): Support partial application of procedures

  Show description for 10e4e15
  jubnzv

  committed
  10e4e15

• feat(base): Support partial application of procedures

  jubnzv

  committed
  c8d5964

• Improve docstring

  jubnzv

  committed
  e766dab

Commits on Feb 11, 2023

• fix(typechecker): Argument types for partial application

  jubnzv

  committed
  2d6051b

Commits on Feb 12, 2023

• Support ProcType in Formatter and Merge

  jubnzv

  committed
  a6337fc

Commits on Feb 14, 2023

• feat(eval): WIP partial application support

  jubnzv

  committed
  2539110

Commits on Feb 17, 2023

• feat(eval): Support partial applictaion in forall statements

  jubnzv

  committed
  95b9469