-
Notifications
You must be signed in to change notification settings - Fork 187
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add newsfragments, remove defunct snapshot
- Loading branch information
Showing
3 changed files
with
14 additions
and
20 deletions.
There are no files selected for viewing
20 changes: 0 additions & 20 deletions
20
crates/analyzer/tests/snapshots/errors__circular_struct.snap
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
Calling `self.__init__()` now results in a nice error instead of a panic in the yul compilation stage. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
The analyzer now uses a query-based system, which fixes some shortcomings of the previous implementation. | ||
|
||
- Types can now refer to other types defined later in the file. | ||
Example: | ||
``` | ||
type Posts = Map<PostId, PostBody> | ||
type PostId = u256 | ||
type PostBody = String<140> | ||
``` | ||
|
||
- Duplicate definition errors now show the location of the original definition. | ||
- The analysis of each function, type definition, etc happens independently, so an error in one | ||
doesn't stop the analysis pass. This means fe can report more user errors in a single run of the compiler. |