Yes $s is for specialised versions of (usually overloaded) functions. If you are using -02 you can also get specialised versions from so-called constructor specialisation, when the function is specialised for a particular argument pattern.
I don't know why the strictness annotations disappear, but the specialised function probably has a different type, and different arguments, than the un-specialised one, so that might be part of it. This stuff is not documented, I'm afraid. I'll volunteer to explain what you are seeing (if you send me a small example) if you volunteer to write some documentation. Seriously. Simon | -----Original Message----- | From: [EMAIL PROTECTED] [mailto:glasgow-haskell-users- | [EMAIL PROTECTED] On Behalf Of Jens Fisseler | Sent: 01 June 2005 13:54 | To: [email protected] | Subject: Simplifier output explanation needed | | Hi everbody! | | I'm currently trying to optimize some code, in particular trying to make | some functions as strict as possible. To do this, I quite often look for | strictness annotations either in the interface files or the the | simplifier output. Doing this, something odd occured to me: inserting a | '$!' into a function call, trying to enforce eager evaluation, the | simplifier output changed. Ok, I should expect this, but I don't | understand the change. The function name got '$s' as a prefix and the | strictness annotation ('Str: DmdType SSL') vanished. | | So my question is what all those different prefixes mean. I've stumbled | across at least '$s' and '$w' (worker wrapper?). Why did the strictness | annotation disappear? Is there any documentation that can enlighten me? | | Regards, | | Jens | _______________________________________________ | Glasgow-haskell-users mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
