From 70e0746932a415464c8ced833d8babe16c1834cf Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Tue, 12 Dec 2023 18:06:17 -0700 Subject: [PATCH] rm Rename --- src/Core/Rename.hs | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 src/Core/Rename.hs diff --git a/src/Core/Rename.hs b/src/Core/Rename.hs deleted file mode 100644 index bf28005..0000000 --- a/src/Core/Rename.hs +++ /dev/null @@ -1,11 +0,0 @@ -module Core.Rename - ( renameCore - ) - where ----------------------------------------------------------------------------------- -import Core.Syntax ----------------------------------------------------------------------------------- - -renameCore :: Program Name -> Program Unique -renameCore = undefined -