uhh it shares now hooray for redex updation

This commit is contained in:
crumbtoo
2023-11-10 17:43:52 -07:00
parent 8ce258b9de
commit 31953c9fa1

View File

@@ -225,9 +225,6 @@ instance Pretty TiState where
pnode (NSupercomb n _ _) _ = IStr n
pnodeRef :: Addr -> Int -> ISeq
pnodeRef a p = IStr (show a) <> "@" <> pnode (hLookupUnsafe a h) p
-- pnoderef :: Addr -> Int -> ISeq
-- pnoderef a p = bracketPrec 0 p $
-- IStr (show a) <> " -> " <> pnode (hLookupUnsafe a h) 0