Not having SCCs at the top level is becoming annoying real quick. For simplest
cases, it's possible to do this transformation:
f x y = ...
=>
f = {-# SCC f #-} \x y -> ...However, it doesn't work when there's a where clause:
f x y = <t is in scope>
where t = ...
=>
f = {-# SCC f #-} \x y -> <t is out of scope>
where t = ...Or when we have a "equation style" definition:
f (C1 ...) = ... f (C2 ...) = ... f (C3 ...) = ... ...
(usual solution is to rename f to f' and define a new f with a SCC)
This patch implements support for SCC annotations in declaration contexts. This
is now a valid program:
f x y = ...
where
g z = ...
{-# SCC g #-}
{-# SCC f #-}