nightshade

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

typing.adb (444B)


package body Typing is

   function Init (AST : Declaration_Vectors.Vector) return Typer is
   begin
      return Typer'(AST => AST);
   end;

   procedure Type_Check (TT : in out Typer) is
   begin
      for Declaration of TT.AST loop
         if Declaration.Kind = Function_Kind then
            null; -- we won't type check just yet because we don't really have anything to type check.

         end if;
      end loop;
   end;

end Typing;