﻿id summary reporter owner description type status priority milestone component version resolution keywords cc os architecture failure difficulty testcase blockedby blocking related 1645 {-# SPECIALIZE #-} doesn't guest "I would expect doing {{{ {-# SPECIALIZE f :: T #-} f :: U f = ... }}} to create a specialized version of f that is the same as if I had written {{{ f :: T f = ... }}} But this is not the case. In the attached example the qsort function is SPECIALIZEd, and the specialized version is called QS.qsort1 in the core dump. The qsort1 function contains all kinds of dictionary manipulation that is not there when using the special type as a type signature. This pretty much defeats the purpose of SPECIALIZE. To test, unzip, untar, read Main.hs on how to compile." bug closed normal 6.12.1 Compiler 6.7 fixed lennart@… Unknown/Multiple Unknown/Multiple Unknown