onflow/cadence v1.8.4

on GitHub

What's Changed

⭐ Features

• Generate subtyping checking using a DSL by @SupunS in #4342

🛠 Improvements

• [Subtyping Generator] Generate subtype checking rules from a DSL by @SupunS in #4262
• [Subtyping Generator] Improve subtype check generation by @SupunS in #4299
• [Subtyping Generator] Introduce forAll predicate by @SupunS in #4306
• [Subtyping Generator] Support comments by @SupunS in #4313
• [Subtyping Generator] Pretty print errors with source snippet by @SupunS in #4317
• [Subtyping Generator] Improve DSL schema by @SupunS in #4318
• [Subtyping Generator] Fix return statement generation and add tests by @SupunS in #4320
• Improve JSON decode error messages with path context by @turbolent in #4302
• Add peephole pass with potential optimizations. by @RZhang05 in #4319
• [Subtyping Generator] Add support for a default rule by @SupunS in #4326
• Compute typeID only once for complex types by @SupunS in #4325
• [Compiler] Pool maps created for resource reference tracking by @SupunS in #4328
• Always call into the type-converter-context to convert from sema to static types by @SupunS in #4333
• Optimize event emission by @turbolent in #4334
• Optimize subtype check by @SupunS in #4338
• Cache static-authorization to sema-access conversion results by @SupunS in #4336
• [Subtyping Generator] Generate subtype check for runtime static-types by @SupunS in #4327
• [Subtyping Generator] Simplify subtyping rules by @SupunS in #4340
• [Compiler] Skip visiting already visited imports by @SupunS in #4345

🐞 Bug Fixes

• [Subtyping Generator] Test and improve generated runtime subtype check by @SupunS in #4335

🧪 Testing

• [Subtyping Generator] Add tests for type-checker's subtype check by @SupunS in #4332

Other Changes

• [Subtyping Generator] Add schema by @turbolent in #4297
• Merge release/v1.8.3 to master by @github-actions[bot] in #4316
• Add GH action to publish NPM package for parser on release by @turbolent in #4321
• Fix function name in comment by @vetclippy in #4323
• Bump onflow/atree to v0.12.0 and fxamacker/cbor to v2.9.0 of stream-mode branch by @fxamacker in #4324
• [Subtyping Generator] Sync feature/subtype-gen branch with master by @SupunS in #4330
• [Subtyping Generator] Sync feature/subtype-gen branch with master by @SupunS in #4339
• Decode/import/convert primitive capability static type as/to capability static type by @turbolent in #4341
• [Subtyping Generator] Sync with master by @SupunS in #4343

New Contributors

• @vetclippy made their first contribution in #4323

Full Changelog: v1.8.3...v1.8.4