View source code
Display the source code in dmd/typesem.d from which this page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using local clone.

Module dmd.typesem

Semantic analysis for D types.

Documentation

https://dlang.org/phobos/dmd_typesem.html

Coverage

https://codecov.io/gh/dlang/dmd/src/master/src/dmd/typesem.d

Functions

NameDescription
compileTypeMixin(tm, loc, sc) Compile the MixinType, returning the type or expression AST.
defaultInit(mt, loc) Get the the default initialization expression for a type.
dotExp(mt, sc, e, ident, flag) Access the members of the object e. This type is same as e.type.
getProperty(t, scope_, loc, ident, flag) Calculate built-in properties which just the type is necessary.
merge(type) If an identical type to type is in type.stringtable, return the latter one. Otherwise, add it to type.stringtable. Some types don't get merged and are returned as-is.
resolve(mt, loc, sc, pe, pt, ps, intypeid) Resolve type 'mt' to either type, symbol, or expression. If errors happened, resolved to Type.terror.
typeSemantic(t, loc, sc) Perform semantic analysis on a type.
typeToExpression(t) We've mistakenly parsed t as a type. Redo t as an Expression only if there are no type modifiers.

Authors

Walter Bright

License

Boost License 1.0