Skip to content
Snippets Groups Projects
Commit 46e2bca0 authored by Joris ten Tusscher's avatar Joris ten Tusscher
Browse files

Made logs slightly more structured.

parent 6ec41d9f
No related branches found
No related tags found
No related merge requests found
......@@ -55,6 +55,7 @@ compareSpec m pMode methodA methodB = do
-- Parsing.
[mA, mB] <- mapM (parseMethod pMode) [methodA, methodB]
log "\n********************************************************************"
log $ "Input\n" ++ "~~~~\n"
log $ "MethodA:\n" ++ ppMethodDef mA ++ "\n"
log $ "MethodB:\n" ++ ppMethodDef mB ++ "\n"
log $ "Pre\n" ++ "~~~\n"
......@@ -73,6 +74,7 @@ compareSpec m pMode methodA methodB = do
log $ "*** ERROR: " ++ show e'
return $ mkErrorResponse e'
Right (postL, postL') -> do
log $ "Result\n" ++ "~~~~\n"
log $ "LExprA:\n" ++ prettyLExpr postL ++ "\n"
log $ "LExprB:\n" ++ prettyLExpr postL' ++ "\n"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment