module ExprPragmas where -- Should it be possible to ppr the following annotation? c = {-# GENERATED "foobar" 1 : 2 - 3 : 4 #-} 0.00