1foo = 2 reportSDoc "tc.cc" 30 $ 3 sep $ do 4 (prettyTCM q <+> " before compilation") : do 5 map (prettyTCM . map unArg . clPats) cls 6 7foo = 8 reportSDoc "tc.cc" 30 $ 9 sep $ do 10 (prettyTCM q <+> " before compilation") : 11 do 12 map (prettyTCM . map unArg . clPats) cls 13