Add a low-level log statement for erasure step.
commitfab515f020d9464c242386c066f330a63a247f73
authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
dateFri 4 Aug 2017, 10:34 (9 years ago)
parent0092d8f
src/IRTS/Compiler.hs+2
@@ -63,6 +63,8 @@ compile codegen f mtm = do
6363 Nothing -> []
6464 Just t -> freeNames t
6565
66+ logCodeGen 1 "Running Erasure Analysis"
67+ iReport 3 "Running Erasure Analysis"
6668 reachableNames <- performUsageAnalysis
6769 (rootNames ++ getExpNames exports)
6870 maindef <- case mtm of