msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

remove completed 'TODO'

Browse Source
This commit is contained in:
crumbtoo
2023-11-15 10:01:00 -07:00
parent 2701119615
commit 7c4d8f8306
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/TIM.hs
View File

@@ -54,7 +54,6 @@ instance Pretty Prim where
prettyPrec (IntP n) = withPrec maxBound $ IStr $ show n ++ "#" prettyPrec (IntP n) = withPrec maxBound $ IStr $ show n ++ "#"
prettyPrec IntAddP = withPrec maxBound $ "+#" prettyPrec IntAddP = withPrec maxBound $ "+#"
-- TODO: lens
data Stats = Stats data Stats = Stats
{ _stsReductions :: Int { _stsReductions :: Int
, _stsAllocations :: Int , _stsAllocations :: Int