-
Simon Peyton Jones authored
The two used to be incompatible, but they aren't any longer. In fact, -ticky should not be a 'way' any more, and doing that is on Simon M's todo list, but this patch takes us a little step closer. I'm not sure this is worth merging to the 6.12 branch.
8277f2dc