Open
Conversation
…leAs. Used this functions to implement typing expressions visitor in InferTypeVisitor (added castableAs, castAs, instanceOf, treatAs expressions visitor)
…e and static tables to do static type inference
…inor fixes in staticallyCastableAs and findCommonSuperType, added multiplicate expression static type inference
…BooleanValue to SequenceType
…corrected object construction and considered merged constructor
…ithmetic expressions
…pe can be promoted to string
…nction to SequenceItem
… have access to it
…cified, but in that case it is still treated as item* or with static analysis a proper type is inferred
…ve boolean value calculation
…CommonSupertypeWith in Sequence type
…ss in static context
…clause when type is not present and the same does the staticContext visitor for the inscope variables of evaluation context, for all other purposes if no type is specified item is still assumed instead of item*
…o added hasOverlapWith method to SequenceType
…ng type inference
…etClause, changed TranslationVisitor behaviour to set Sequence type to null when not present instead of item*
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.