9 Dec
2007
9 Dec
'07
10:39 a.m.
On Dec 9, 2007 2:39 PM, pepe
The typechecker in 6.6.1 gets confused by the ($) and loses track of the 'freeness' of s (the thread variable) . The same code should work fine in 6.8.1, or alternatively in 6.6.1 without the ($).
True. However, note that the release notes of 6.8.1 encourage not to rely in this "new feature" because it can change in the feature.