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