git.iko.soy/Idris-dev
on master help sign in
Undo log level 0!
02de034Edwin Brady
src/Idris/Elab/Clause.hs+2−2
compare with master
unifiedsplit
@@ -324,9 +324,9 @@ elabPE info fc caller r =
324 logLvl 3 $ "Specialising application: " ++ show specapp
324 logLvl 3 $ "Specialising application: " ++ show specapp
325 ++ " with " ++ show opts
325 ++ " with " ++ show opts
326 logLvl 3 $ "New name: " ++ show newnm
326 logLvl 3 $ "New name: " ++ show newnm
327− logLvl 0 $ "PE definition type : " ++ (show specTy)
327+ logLvl 3 $ "PE definition type : " ++ (show specTy)
328 ++ "\n" ++ show opts
328 ++ "\n" ++ show opts
329− logLvl 0 $ "PE definition " ++ show newnm ++ ":\n" ++
329+ logLvl 3 $ "PE definition " ++ show newnm ++ ":\n" ++
330 showSep "\n"
330 showSep "\n"
331 (map (\ (lhs, rhs) ->
331 (map (\ (lhs, rhs) ->
332 (showTmImpls lhs ++ " = " ++
332 (showTmImpls lhs ++ " = " ++