From b293e19ac90ef9ec5f679cae56670bd258b32b13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Wed, 31 May 2023 10:19:58 +0200
Subject: [PATCH] Remove code for `Eval` and `Print` statements (#2149)

* Closes #2052
---
 src/Juvix/Compiler/Concrete/Language.hs       | 28 -------------------
 .../FromParsed/Analysis/Scoping.hs            | 12 --------
 2 files changed, 40 deletions(-)

diff --git a/src/Juvix/Compiler/Concrete/Language.hs b/src/Juvix/Compiler/Concrete/Language.hs
index e93807aff..d9f558ea1 100644
--- a/src/Juvix/Compiler/Concrete/Language.hs
+++ b/src/Juvix/Compiler/Concrete/Language.hs
@@ -1008,34 +1008,6 @@ deriving stock instance
   ) =>
   Ord (Iterator s)
 
---------------------------------------------------------------------------------
--- Debugging statements
---------------------------------------------------------------------------------
-
-newtype Eval (s :: Stage) = Eval {evalExpression :: ExpressionType s}
-
-deriving stock instance
-  (Show (ExpressionType s)) => Show (Eval s)
-
-deriving stock instance
-  (Eq (ExpressionType s)) => Eq (Eval s)
-
-deriving stock instance
-  (Ord (ExpressionType s)) => Ord (Eval s)
-
---------------------------------------------------------------------------------
-
-newtype Print (s :: Stage) = Print {printExpression :: ExpressionType s}
-
-deriving stock instance
-  (Show (ExpressionType s)) => Show (Print s)
-
-deriving stock instance
-  (Eq (ExpressionType s)) => Eq (Print s)
-
-deriving stock instance
-  (Ord (ExpressionType s)) => Ord (Print s)
-
 --------------------------------------------------------------------------------
 -- Expression atom
 --------------------------------------------------------------------------------
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
index 7543de40a..e5ffffc92 100644
--- a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
+++ b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -1014,18 +1014,6 @@ checkAxiomDef AxiomDef {..} = do
 entryToSymbol :: SymbolEntry -> Symbol -> S.Symbol
 entryToSymbol sentry csym = set S.nameConcrete csym (symbolEntryToSName sentry)
 
-checkEval ::
-  (Members '[Error ScoperError, State Scope, State ScoperState, InfoTableBuilder, NameIdGen, Reader BindingStrategy] r) =>
-  Eval 'Parsed ->
-  Sem r (Eval 'Scoped)
-checkEval (Eval s) = Eval <$> withLocalScope (checkParseExpressionAtoms s)
-
-checkPrint ::
-  (Members '[Error ScoperError, State Scope, State ScoperState, InfoTableBuilder, NameIdGen, Reader BindingStrategy] r) =>
-  Print 'Parsed ->
-  Sem r (Print 'Scoped)
-checkPrint (Print s) = Print <$> withLocalScope (checkParseExpressionAtoms s)
-
 checkFunction ::
   forall r.
   (Members '[Error ScoperError, State Scope, State ScoperState, InfoTableBuilder, NameIdGen] r) =>