Parser changes for supporting top-level SCC annotations

Ben Gamari ben at
Tue Jul 19 09:39:06 UTC 2016

Ömer Sinan Ağacan <omeragacan at> writes:

> I managed to do this without introducing any new pragmas. I added a new
> production that doesn't look for SCC annotations, for top-level expressions. I
> then used it in decl_no_th and topdecl.

I'll admit I wasn't a fan of the SCC_FUNCTION proposal. SCC pragmas are
already rather wordy with the {-# #-} delimiters and quotes.
SCC_FUNCTION is even worse.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list