Commit 6e7a74f3 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments and white space

parent f4a16693
...@@ -312,5 +312,4 @@ showPass dflags what ...@@ -312,5 +312,4 @@ showPass dflags what
debugTraceMsg :: DynFlags -> Int -> Message -> IO () debugTraceMsg :: DynFlags -> Int -> Message -> IO ()
debugTraceMsg dflags val msg debugTraceMsg dflags val msg
= ifVerbose dflags val (log_action dflags SevInfo noSrcSpan defaultDumpStyle msg) = ifVerbose dflags val (log_action dflags SevInfo noSrcSpan defaultDumpStyle msg)
\end{code} \end{code}
...@@ -498,7 +498,7 @@ Note [Global Ids in the substitution] ...@@ -498,7 +498,7 @@ Note [Global Ids in the substitution]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
We look up even a global (eg imported) Id in the substitution. Consider We look up even a global (eg imported) Id in the substitution. Consider
case X.g_34 of b { (a,b) -> ... case X.g_34 of { (p,q) -> ...} ... } case X.g_34 of b { (a,b) -> ... case X.g_34 of { (p,q) -> ...} ... }
The binder-swap in the occurence analyser will add a binding The binder-swap in the occurrence analyser will add a binding
for a LocalId version of g (with the same unique though): for a LocalId version of g (with the same unique though):
case X.g_34 of b { (a,b) -> let g_34 = b in case X.g_34 of b { (a,b) -> let g_34 = b in
... case X.g_34 of { (p,q) -> ...} ... } ... case X.g_34 of { (p,q) -> ...} ... }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment