Interface: MatchesExpressionTypeSemantics

compiler.MatchesExpressionTypeSemantics

Type semantics for an expression class that must be evaluated during Type Checking.

Since

0.10.0

Hierarchy

• ExpressionTypeSemantics

  ↳ MatchesExpressionTypeSemantics

Table of contents

Properties

• evaluatedType

Properties

evaluatedType

• evaluatedType: ProcessedType

The value type that this expression evaluates to. This is used to properly represent the evaluated type of expressions that do not explicitly show their type.

Since

0.10.0

Inherited from

ExpressionTypeSemantics.evaluatedType

Defined in

kipper/core/src/compiler/ast/nodes/expressions/expression-type-semantics.ts:18