@@ -324,9 +324,9 @@ elabPE info fc caller r =
324324 logLvl 3 $ "Specialising application: " ++ show specapp
325325 ++ " with " ++ show opts
326326 logLvl 3 $ "New name: " ++ show newnm
327− logLvl 0 $ "PE definition type : " ++ (show specTy)
327+ logLvl 3 $ "PE definition type : " ++ (show specTy)
328328 ++ "\n" ++ show opts
329− logLvl 0 $ "PE definition " ++ show newnm ++ ":\n" ++
329+ logLvl 3 $ "PE definition " ++ show newnm ++ ":\n" ++
330330 showSep "\n"
331331 (map (\ (lhs, rhs) ->
332332 (showTmImpls lhs ++ " = " ++