From 10653fccb0230d2dd25c9108796bfdfed4c9f287 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Fri, 26 Jun 2009 10:55:46 +0200 Subject: [PATCH] Remove TODO that was already solved. --- Normalize.hs | 3 --- 1 file changed, 3 deletions(-) diff --git a/Normalize.hs b/Normalize.hs index 9ee919a..ec329c9 100644 --- a/Normalize.hs +++ b/Normalize.hs @@ -411,9 +411,6 @@ funprop expr = return expr -- Perform this transform everywhere funproptop = everywhere ("funprop", funprop) - --- TODO: introduce top level let if needed? - -------------------------------- -- End of transformations -------------------------------- -- 2.30.2