Skip to content

Conversation

@ghislainfourny
Copy link
Member

No description provided.

…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
…corrected object construction and considered merged constructor
…cified, but in that case it is still treated as item* or with static analysis a proper type is inferred
…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
…etClause, changed TranslationVisitor behaviour to set Sequence type to null when not present instead of item*
@ghislainfourny ghislainfourny changed the title Static typing Backticks escaping Apr 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants