Some comments on deprecated tests (#6388)

Co-authored-by: Nikolaos Bezirgiannis <bezirg@users.noreply.github.com>
IntersectMBO · Aug 7, 2024 · 3d06186 · 3d06186
1 parent f6ca079
commit 3d06186
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/plutus-core/testlib/PlutusCore/Generators/Hedgehog/Denotation.hs b/plutus-core/testlib/PlutusCore/Generators/Hedgehog/Denotation.hs
@@ -116,6 +116,9 @@ insertBuiltin fun =
                 insertDenotation tr $ Denotation fun (Builtin ()) meta sch
 
 -- | A 'DenotationContext' that consists of 'DefaultFun's.
+--
+-- DEPRECATED: No need to update for a new builtin.
+-- Outdated, since we moved to quickcheck generators.
 typedBuiltins
     :: DenotationContext (Term TyName Name DefaultUni DefaultFun ())
 typedBuiltins

diff --git a/plutus-core/testlib/PlutusCore/Generators/NEAT/Term.hs b/plutus-core/testlib/PlutusCore/Generators/NEAT/Term.hs
@@ -383,6 +383,8 @@ instance Check (TypeG n) TermConstantG where
   check _                          _                 = false
 
 
+-- | DEPRECATED: No Need to Update for a new Builtin.
+-- NEAT tests are useless for builtins, see https://github.com/IntersectMBO/plutus/issues/6075
 defaultFunTypes :: Ord tyname => Map.Map (TypeG tyname) [DefaultFun]
 defaultFunTypes = Map.fromList [(TyFunG (TyBuiltinG TyIntegerG) (TyFunG (TyBuiltinG TyIntegerG) (TyBuiltinG TyIntegerG))
                    ,[AddInteger,SubtractInteger,MultiplyInteger,DivideInteger,QuotientInteger,RemainderInteger,ModInteger])