src/ozulis/visitors/type-checking.doch

   1 /**
   2  * @page TypeChecking Type Checking
   3  *
   4  * @section Introduction
   5  * The type checker have to ensure that types are correct.
   6  * If it is possible, it may find an appropriate cast for the user.
   7  * The type checker also have to find appropriate overloaded method.
   8  *
   9  * @section Implementation
  10  * ast::TypeCheckerVisitor it the type checker.
  11  */