TypePromoter

Undocumented in source.

struct TypePromoter {

this(SemanticPass pass, Location location, Type t1);

Type visit(Type t);

Type visit(BuiltinType bt);

Type visitPointerOf(Type t);

Type visitSliceOf(Type t);

Type visitArrayOf(uint size, Type t);

Type visit(Struct s);

Type visit(Class c);

Type visit(Enum e);

Type visit(TypeAlias a);

Type visit(Interface i);

Type visit(Union u);

Type visit(Function f);

Type visit(Type[] seq);

Type visit(FunctionType f);

Type visit(Pattern p);

import d.ir.error;;

Type visit(CompileError e);

}

Constructors

this this(SemanticPass pass, Location location, Type t1): Undocumented in source.

Alias This

Members

Functions

visit Type visit(Type t): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(BuiltinType bt): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Struct s): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Class c): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Enum e): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(TypeAlias a): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Interface i): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Union u): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Function f): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Type[] seq): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(FunctionType f): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(Pattern p): Undocumented in source. Be warned that the author may not have intended to support it.
visit Type visit(CompileError e): Undocumented in source. Be warned that the author may not have intended to support it.
visitArrayOf Type visitArrayOf(uint size, Type t): Undocumented in source. Be warned that the author may not have intended to support it.
visitPointerOf Type visitPointerOf(Type t): Undocumented in source. Be warned that the author may not have intended to support it.
visitSliceOf Type visitSliceOf(Type t): Undocumented in source. Be warned that the author may not have intended to support it.

Variables

t1 Type t1;: Undocumented in source.

Meta

Source

See Implementation

d semantic typepromotion aliases

Interface

functions

getPromotedType

structs

TypePromoter