nightshade

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

typing.ads (248B)


with Types; use Types;

package Typing 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 Typing;