Samples are by default written in Sway. When comparing behavior and features of different languages, samples in a particular language are stored into separate folder with the language name, e.g., rust, or csharp.

Samples stored in tests folder are meant to be copied over to Sway e2e_vm_tests and executed as Sway E2E tests.

Samples stored in forc_tests folder are meant to be run with forc test.

License

To the extent possible under law, Igor Rončević has waived all copyright and related or neighboring rights to this work.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

Sway Lab

License

About

Languages

Name		Name	Last commit message	Last commit date
Latest commit History 282 Commits
D Hashing		D Hashing
I 21 Support multi-span errors and warnings		I 21 Support multi-span errors and warnings
I 3949 Emit a warning when all the variants are covered but the user adds a redundant wildcard pattern		I 3949 Emit a warning when all the variants are covered but the user adds a redundant wildcard pattern
I 4587 Give more helpful error when shadowing const		I 4587 Give more helpful error when shadowing const
I 4692 Struct field privacy		I 4692 Struct field privacy
I 4797 Accessing associated constants and functions does not count as struct usage/struct_usage_issue		I 4797 Accessing associated constants and functions does not count as struct usage/struct_usage_issue
I 4799 Harmonize error messages for multiple definitions of names		I 4799 Harmonize error messages for multiple definitions of names
I 4898 Non-idiomatic name warning not shown in most of the cases		I 4898 Non-idiomatic name warning not shown in most of the cases
I 4950 False Non-exhaustive match expression error when having match arms with rest in structs		I 4950 False Non-exhaustive match expression error when having match arms with rest in structs
I 4963 Emit compile error if a match arm variable is declared more than once in the same pattern		I 4963 Emit compile error if a match arm variable is declared more than once in the same pattern
I 5039 Internal compiler error - attempting to split OOB		I 5039 Internal compiler error - attempting to split OOB
I 5056 Provide examples for different approaches to formulating diagnostic messages/images		I 5056 Provide examples for different approaches to formulating diagnostic messages/images
I 5081 Emit compile error if the same match arm variables in alternatives are not of the same type		I 5081 Emit compile error if the same match arm variables in alternatives are not of the same type
I 5107 Or match arm should be catch-all if any of the alternatives is catch-all		I 5107 Or match arm should be catch-all if any of the alternatives is catch-all
I 5122 Wrong variable binding and missed matching in OR match expressions		I 5122 Wrong variable binding and missed matching in OR match expressions
I 5129 Provide temporary fix for the Cannot find trait Hash in this scope issue		I 5129 Provide temporary fix for the Cannot find trait Hash in this scope issue
I 5173 if-let expression causes side effects		I 5173 if-let expression causes side effects
I 5227 Memory Layout/tests/array_embedded_in_aggregates		I 5227 Memory Layout/tests/array_embedded_in_aggregates
I 5232 Wrapping __addr_of in a function results in incorrect compilation/forc_tests		I 5232 Wrapping __addr_of in a function results in incorrect compilation/forc_tests
I 5261 Diagnostic for configurables only used in const expressions		I 5261 Diagnostic for configurables only used in const expressions
I 5265 Fixes error while using generic trait with multiple impls		I 5265 Fixes error while using generic trait with multiple impls
I 5282 Fix errors when using return expression in semantically meaningless places		I 5282 Fix errors when using return expression in semantically meaningless places
I 5377 assertion failed ty is_aggregate when compiling		I 5377 assertion failed ty is_aggregate when compiling
I 5383 Wrong resolution of items when using glob imports		I 5383 Wrong resolution of items when using glob imports
I 5414 Fix errors when using break and continue expressions in arbitrary expressions		I 5414 Fix errors when using break and continue expressions in arbitrary expressions
I 5434 forc panics if the Sway package folder contains dot/path_with_._dot		I 5434 forc panics if the Sway package folder contains dot/path_with_._dot
I 5492 Verification failed - Struct field type mismatch compiler error		I 5492 Verification failed - Struct field type mismatch compiler error
I 5499 Incomplete code snippets in compiler output		I 5499 Incomplete code snippets in compiler output
I 5500 Wrong TyStructDecl::call_path when using glob imports with local shadowing		I 5500 Wrong TyStructDecl::call_path when using glob imports with local shadowing
I 5502 Missing error messages in shadowing errors		I 5502 Missing error messages in shadowing errors
I 5560 Internal compiler error when all match branches return Never		I 5560 Internal compiler error when all match branches return Never
I 5659 Internal Compiler Error when calling methods and passing non-existing variables		I 5659 Internal Compiler Error when calling methods and passing non-existing variables
I 5662 Associated constants and library constants not found in libraries		I 5662 Associated constants and library constants not found in libraries
I 5686 Conflicting implementations of trait error not emitted/sway		I 5686 Conflicting implementations of trait error not emitted/sway
I 5692 MCPI memory ownership issue with mutable zero-sized arrays in release builds		I 5692 MCPI memory ownership issue with mutable zero-sized arrays in release builds
I 5702 feat add clear to storage vec		I 5702 feat add clear to storage vec
I 5706 This declaration is never used warning not emitted on local constants		I 5706 This declaration is never used warning not emitted on local constants
I 5758 Enforce type annotations for constants		I 5758 Enforce type annotations for constants
I 5803 Mutable variable is considered immutable		I 5803 Mutable variable is considered immutable
I 5833 Semantically wrong inlining of functions that return const u256 and b256		I 5833 Semantically wrong inlining of functions that return const u256 and b256
I 5924 Check for usages of incomplete referred symbols in IR optimizations		I 5924 Check for usages of incomplete referred symbols in IR optimizations
I 6118 Compiler panics and no DCA warning when a configurable is never used		I 6118 Compiler panics and no DCA warning when a configurable is never used
I 6174 while true {} loop and if true branching result in Internal Compiler Error		I 6174 while true {} loop and if true branching result in Internal Compiler Error
I 6205 ICE Internal compiler error Block while has a misplaced terminator		I 6205 ICE Internal compiler error Block while has a misplaced terminator
I 6286 Enum variant type not type checked in pattern matching if the pattern contains variables		I 6286 Enum variant type not type checked in pattern matching if the pattern contains variables
I 6288 ICE in match expression when numeric constants do not have type specified		I 6288 ICE in match expression when numeric constants do not have type specified
I 6317 Compiler std-lib storage collison between variables and StorageMap, allows hidden backdoors, likely loss of funds		I 6317 Compiler std-lib storage collison between variables and StorageMap, allows hidden backdoors, likely loss of funds
I 6320 Incorrect function purity check		I 6320 Incorrect function purity check
I 6332 function inlining doesn't consider asm block's instr count which leads to bloating contract size		I 6332 function inlining doesn't consider asm block's instr count which leads to bloating contract size
I 6379 Propagation From Type Parameters		I 6379 Propagation From Type Parameters
I 6380 Trait Constraints Are Not Respected		I 6380 Trait Constraints Are Not Respected
I 6388 No Warning for Overlaps in Pattern Matching		I 6388 No Warning for Overlaps in Pattern Matching
I 6431 Remove phantom error message that some function does not have required storage attributes		I 6431 Remove phantom error message that some function does not have required storage attributes
M Analyze desugared match expressions/sway		M Analyze desugared match expressions/sway
M Analyze redundant ASM instructions/generated_asm/compolabs-orderbook-contract		M Analyze redundant ASM instructions/generated_asm/compolabs-orderbook-contract
M Analyze return paths		M Analyze return paths
M Configurables in pattern matching		M Configurables in pattern matching
M Dangling pointers		M Dangling pointers
M Geometry sample		M Geometry sample
M How get_symbols work		M How get_symbols work
M Importing enum variants		M Importing enum variants
M Importing modules		M Importing modules
M Never as bottom type/rust		M Never as bottom type/rust
M New encoding/sway_contract		M New encoding/sway_contract
M No core		M No core
M Parallel execution of E2E tests		M Parallel execution of E2E tests
M Passing aggregates to and returning from ASM blocks		M Passing aggregates to and returning from ASM blocks
M Pointers and references in the IR		M Pointers and references in the IR
M Predicate byetcode size and logic operators		M Predicate byetcode size and logic operators
M Referencing function arguments		M Referencing function arguments
M Reimplementing traits		M Reimplementing traits
M Ret-demotion return argument uniqueness		M Ret-demotion return argument uniqueness
M Revert		M Revert
M Rewrite TypeEngine		M Rewrite TypeEngine
M Rust reexports		M Rust reexports
M Several contracts in a contract project		M Several contracts in a contract project
M Shadowing configurables		M Shadowing configurables
M Storage read vs try_read unwrap		M Storage read vs try_read unwrap
M Storage v3.0		M Storage v3.0
M StorageMap usage in code		M StorageMap usage in code
M Type inference		M Type inference
M UnknownGeneric with parent		M UnknownGeneric with parent
M Vec breaking by-copy semantics		M Vec breaking by-copy semantics
M Warning on large number of function parameters		M Warning on large number of function parameters
M __state_load_quad return value		M __state_load_quad return value
P 5375 Check test consistency/images		P 5375 Check test consistency/images
P 5406 Add references to Sway		P 5406 Add references to Sway
P 5451 Fix Internal Compiler Error related to break and continue		P 5451 Fix Internal Compiler Error related to break and continue
P 5530 Dereferencing operator index		P 5530 Dereferencing operator index
P 5533 Simplify the DCA handling for return nodes		P 5533 Simplify the DCA handling for return nodes
P 5538 Dereferencing operator dot on struct field access		P 5538 Dereferencing operator dot on struct field access
P 5552 Dereferencing operator dot on tuple element access		P 5552 Dereferencing operator dot on tuple element access
P 5643 Fix type check and inference issues in references, structs, and enums		P 5643 Fix type check and inference issues in references, structs, and enums
P 5688 References to mutable values		P 5688 References to mutable values
P 5923 Dereferencing as reassignment target		P 5923 Dereferencing as reassignment target
P 5942 Encoding v1 for Configurables		P 5942 Encoding v1 for Configurables
P 6186 Use $one for true in ASM instead of using data section/bytecode_sizes		P 6186 Use $one for true in ASM instead of using data section/bytecode_sizes
P 6545 Add tests for recursive const definitions and associated consts usages		P 6545 Add tests for recursive const definitions and associated consts usages
R 28 References		R 28 References
R 30 Expressive diagnostics/images		R 30 Expressive diagnostics/images

ironcev/swaylab

Folders and files

Latest commit

History

Repository files navigation

Sway Lab

License

About

Topics

Resources

Stars

Watchers

Forks

Languages