[when specializing due to type analysis, discard bodies of unused functions
John Meacham <john@repetae.net>**20060314234131] hunk ./E/TypeAnalysis.hs 270
-specializeDef _dataTable (t,e) | getProperty prop_PLACEHOLDER t = return (t,e)
-specializeDef dataTable (tvr,e) = ans where
+specializeDef _(t,e) | getProperty prop_PLACEHOLDER t = return (t,e)
+specializeDef (_,unusedVals,_,_) (tvr,e) | tvr `Set.member` unusedVals = return (tvr,EError "Unused" (tvrType tvr))
+specializeDef (_,_,dataTable,_) (tvr,e) = ans where
hunk ./E/TypeAnalysis.hs 302
-    (ds,nenv) <- runWriterT $ mapM (specializeDef dataTable) ds
+    (ds,nenv) <- runWriterT $ mapM (specializeDef env) ds