nightshade

The nightshade programming language, compiler and tools (WIP)
Log | Files | Refs | README

ast_typer.ads (254B)


with Types; use Types;

package AST_Typer is

   type Typer is record
      AST : Declaration_Vectors.Vector;
   end record;

   function Init (AST : Declaration_Vectors.Vector) return Typer;

   procedure Type_Check (TT : in out Typer);

end AST_Typer;