What's Changed
- Add
const
attributes toTyProgram
by @eureka-cpu in #3033 - Add
enum variant
attributes toTyProgram
by @eureka-cpu in #3027 - Add
trait
attributes toTyProgram
by @eureka-cpu in #3036 - Introduce
unify_right
by @emilyaherbert in #2938 - Add
abi
attributes toTyProgram
by @eureka-cpu in #3038 - LSP synchronize workspace by @JoshuaBatty in #2919
- Port TypedTraitFn and TyImplTrait methods to the declaration engine. by @tritao in #3030
- fix: add missing leaf span collection for final_expr_opt of asm blocks by @kayagokalp in #3041
- Remove the dead
IsConstant
type by @emilyaherbert in #3049 - Create the
transform
andto_parsed_lang
modules. by @emilyaherbert in #3046 - Issue #3040; docs corrections by @K1-R1 in #3042
- Issue#3044 Update minor mistakes in README.md and src/reentrancy.sw by @K1-R1 in #3045
- Parse generic traits. by @emilyaherbert in #3029
- Make
StructExpression
take anIdent
instead of aTypeInfo
. by @emilyaherbert in #3051 - Move any general methods to live within the same file as the definition for their parent. by @emilyaherbert in #3048
- Handler warnings + misc related simplifications by @Centril in #2986
- LSP: Add Inlay Hints functionality for variables by @JoshuaBatty in #3015
- Port
TypedExpressionVariant::FunctionApplication
to the declaration engine. by @tritao in #3039 - Use
Handler
for convert_parse_tree + sway-core parsing logic by @Centril in #2988 - Use Handler in Purity checking by @Centril in #3056
- Return reference type values from calls. by @otrho in #3055
- Fix span calculations for errors at the end of a file with no final
\n
by @mohammadfawaz in #3066 - Cleanup with focus on
expr_func_app_to_expression_kind
by @Centril in #3068 - LSP: code reorganize to support multiple projects simultaneously by @JoshuaBatty in #3072
- Revamped implementation of
send_message
by @nfurfaro in #2796 - Remove the
ir_to_asm
unit tests. by @otrho in #3074 - Fixed testing-with-rust docs by @libevm in #3092
- Add
span
field toconst
forforc doc
by @eureka-cpu in #3088 - Add
span
field totrait
forforc doc
by @eureka-cpu in #3090 - Allow signing forc-client transactions without prompting by @AlicanC in #3075
- Update how log IDs are generated by @mohammadfawaz in #3083
- Don't clone the whole graph on each trait impl connection during DCA by @mitchmindtree in #3095
- Bitwise not for all unsigned integers by @rostyslavtyshko in #2909
- Type engine bug fixes and improvements. by @emilyaherbert in #3091
- Speedup bytecode-gen by applying an upper bound on
read_exact
by @mohammadfawaz in #3096 - Speedup
remove_redudant_moves()
by using aHashSet
instead of aBTreeSet
by @mohammadfawaz in #3099 - Add const probing to delineated path type check by @kayagokalp in #3080
- Speedup
simplify_cfg
by avoiding Vec alloc in hot loop by @mitchmindtree in #3102 - Bug fixes for type checking trait declarations. by @emilyaherbert in #3098
- Expose CROO opcode through the std-lib by @simonr0204 in #3082
- Bump to
v0.27.0
by @mohammadfawaz in #3100
Breaking Changes
- The free function
core::ops::not(b: bool)
has been removed. Instead, a traitcore::ops::Not
with a single methodnot()
has been added and implemented forbool
and all primitive integer types.
New Contributors
Full Changelog: v0.26.0...v0.27.0