Supun Setunga

Borrowing as sibling interface

1

Work towards https://github.com/onflow/cadence/issues/3533 ## Description ______ - [ ] Targeted PR against `master` branch - [ ] Linked to Github issue with discussion and accepted design OR link to spec...

Embed the formal grammar to the language reference document

2

### Issue To Be Solved Formal grammar can be used to check the syntactic validity of a given code (e.g: validate some edge cases against the grammar). [Language reference](https://docs.onflow.org/cadence/language/) can...

Return the `TokenLimitReachedError` instead of panicking with it

1

Work towards #3428 ## Description The follow-up PR https://github.com/onflow/cadence/pull/3578 gracefully handles all errors. Like it is mentioned in the other PR, once #3507 is merged, this PR becomes merely a...

Getting/Borrowing a capability as a sibling interface-type of the orignally issued type

7

### Issue to be solved Came up in the thread https://discord.com/channels/613813861610684416/1273464365701398568/1273464651971039336. Suppose a resource `R` implements both `I1` and `I2`. ```cadence resource R: I1, I2 {} ``` And a capability...

Fix formatting for when there are syntax errors

1

**Description:** Below is one example: Source: ```java class Foo { class function bar() { // invalid token 'class' } } ``` Formatted output ```java class Foo { class function bar()...

Deal with having partial information about contextually expected type

8

**Description:** Previous syntax that works: ```ballerina public function main(string... args) { var (a, (b, c)) = ("Ballerina", (123, true)); } ``` New syntax: ```ballerina public function main(string... args) { var...

Function-call nor method-call is supported in compound assignments LHS

1

**Description:** Referring to the following sections of the spec: ``` compound-assignment-stmt := lvexpr CompoundAssignmentOperator action-or-expr ; lvexpr := variable-reference-lvexpr | field-access-lvexpr | member-access-lvexpr variable-reference-lvexpr := variable-reference field-access-lvexpr := lvexpr ....

Re-use static-type to sema-type conversion results

1

Work towards https://github.com/onflow/cadence/issues/3804 ## Description ``` │ without_caching.txt │ with_caching.txt │ │ sec/op │ sec/op vs base │ FTTransfer-8 90.51µ ± 3% 77.88µ ± 2% -13.95% (p=0.002 n=6) │ without_caching.txt...

### Issue to be solved Add a lossless conversion between sema-type and static-type for transaction. More details: https://github.com/onflow/cadence/pull/4047#discussion_r2167008073 ### Suggested Solution _No response_

Avoid conversion from `StaticType` to `sema.Type` during runtime sub-type checking

2

### Issue to be solved In `Interpreter.IsSubType(...)` function, both the sub-type and the super-type gets converted from `StaticType` to `sema.Type` (see below). This adds an unnecessary overhead. https://github.com/onflow/cadence/blob/b09231fe0216ecb024fbfc909f213bed53a2d3bb/interpreter/interpreter.go#L4066 https://github.com/onflow/cadence/blob/b09231fe0216ecb024fbfc909f213bed53a2d3bb/interpreter/interpreter.go#L4039 ###...