fix term lookup bug

fmidue · Jan 2, 2025 · f4fd5e0 · f4fd5e0
1 parent edd3937
commit f4fd5e0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Compare.hs b/src/Compare.hs
@@ -17,10 +17,10 @@ import Reify                            (ReifyPicture(..), share)
 
 runShare :: (forall a . Drawable a => a) -> IO ([(IM.Key, ReifyPicture Int)], [(IM.Key, ReifyPicture Int)])
 runShare a = do
-  (reify,reifyTerm) <- share a
-  let (hCons,_) = hashconsShare a
+  (reify,reifyTerms) <- share a
+  let (hCons,consTerms) = hashconsShare a
   let (explicitShares,allShares) = relabel (IM.toList reify) hCons
-  let allTerms = IM.toList reifyTerm
+  let allTerms = toReify consTerms ++ IM.toList reifyTerms
   if explicitShares == allShares
     then
       putStrLn "You shared everything, good job!"