foolish stabs at fixing bugs. I can't brain anymore, enough for today

src/Reprinting/Algebraic.hs

@@ -149,7 +149,7 @@ descend :: (Reprintable constr, HasField fields History) => SubtermAlgebra const
 descend t = history >>= \case
   -- No action is necessary for a pristine node.
   Pristine _   -> pure ()
-  Generated    -> local (\c -> c { rcHistory = Generated}) (whenGenerated (fmap subtermRef t))
+  Generated    -> whenGenerated (fmap subtermRef t)
   Modified _   -> whenGenerated (fmap (\x -> into (subterm x) (subtermRef x)) t)
   Refactored r -> do
     st <- get @RPState

src/Semantic/Util.hs

@@ -134,10 +134,11 @@ testReprinter = do
     pure (src, tree)
 
   let tagged = increaseNumbers (mark Modified tree)
-  pPrint tagged
   let toks = reprint src tagged
   pure toks
 
+testConcrete = concretize (Proxy @'Language.JSON) <$> testReprinter
+
 
 -- Evaluate a project consisting of the listed paths.
 evaluateProject proxy parser lang paths = withOptions debugOptions $ \ config logger statter ->