Noeud « Next »: , Noeud « Previous »: src/parse, Noeud « Up »: Project Layout



3.2.8 The src/type Directory

Namespace type. Type checking.

— File: libtype.hh (src/type/)

The interface of the Type module. It exports a single procedure, type_check.

— File: types.hh (src/type/)

The definition of all the types. You are free to use whatever layout you wish (several files); we have a single types.hh file.

— File: type-entry.hh (src/type/)

Definitions of type::TypeEntry, type::VarEntry, and type::FunEntry, used in type::TypeEnv to associate data to types, variables, and functions (obviously).

— File: type-env.hh (src/type/)

The types environment, comprising three symbol tables: types, functions, and variables, used by the type::TypeVisitor.