Display the source code in dmd/typesem.d from which this page was generated on github.

If you spot a problem with this page, click here to create a Bugzilla issue.

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

Name	Description
`callMatch(tf, tthis, argumentList, flag, pMessage, sc)`	'args' are being matched to function type 'tf' Determine match level.
`covariant(src, t, pstc, cppCovariant)`	Covariant means that 'src' can substitute for 't', i.e. a pure function is a match for an impure type.
`defaultInit(mt, loc, isCfile)`	Get 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.
`getComplexLibraryType(loc, sc, ty)`	Extract complex type from core.stdc.config
`getProperty(t, scope_, loc, ident, flag, src)`	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(type, 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