nightshade

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

commit 0fab61cb9153f6579016a7b4d8609c982fb4b6d7
parent 531c773d4894d90a8b36bc8d9c008e1a51aac9b9
Author: citbl <citbl@citbl.org>
Date:   Sun, 14 Jun 2026 19:47:46 +1000

refactor

Diffstat:
Msrc/nightshade.adb | 2+-
Msrc/scope.adb | 2+-
Dsrc/typer.adb | 8--------
Dsrc/typer.ads | 10----------
Asrc/typing.adb | 8++++++++
Asrc/typing.ads | 11+++++++++++
6 files changed, 21 insertions(+), 20 deletions(-)

diff --git a/src/nightshade.adb b/src/nightshade.adb @@ -5,7 +5,7 @@ with Types; with Lexer; with Parser; with Scope; -with Typer; +with Typing; procedure Nightshade is begin diff --git a/src/scope.adb b/src/scope.adb @@ -103,7 +103,7 @@ package body Scope is begin case Expr.Kind is when String_Literal => - Put_Line("scoping string literal has no effect"); + Put_Line ("scoping string literal has no effect"); null; -- no need to scope literals when Expr_Call => diff --git a/src/typer.adb b/src/typer.adb @@ -1,8 +0,0 @@ -package body Typer is - - function Init (AST : Declaration_Vectors.Vector) return Typer is - begin - return Typer'(AST => AST); - end; - -end Typer; diff --git a/src/typer.ads b/src/typer.ads @@ -1,10 +0,0 @@ -with Types; use Types; - -package Typer is - - type Typer is record - AST : Declaration_Vectors.Vector; - end record; - - function Init (AST : Declaration_Vectors.Vector) return Typer; -end Typer; diff --git a/src/typing.adb b/src/typing.adb @@ -0,0 +1,8 @@ +package body Typing is + + function Init (AST : Declaration_Vectors.Vector) return Typer is + begin + return Typer'(AST => AST); + end; + +end Typing; diff --git a/src/typing.ads b/src/typing.ads @@ -0,0 +1,11 @@ +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; + +end Typing;