From 7c4d8f830631dad0d1b885f30c632e07349763ae Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Wed, 15 Nov 2023 10:01:00 -0700 Subject: [PATCH] remove completed 'TODO' --- src/TIM.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/TIM.hs b/src/TIM.hs index 1441331..5e0ac15 100644 --- a/src/TIM.hs +++ b/src/TIM.hs @@ -54,7 +54,6 @@ instance Pretty Prim where prettyPrec (IntP n) = withPrec maxBound $ IStr $ show n ++ "#" prettyPrec IntAddP = withPrec maxBound $ "+#" --- TODO: lens data Stats = Stats { _stsReductions :: Int , _stsAllocations :: Int