Even Wiik Thomassen avatar Even Wiik Thomassen committed 4d12a1e

Meh

Comments (0)

Files changed (2)

             base:GHC.TopHandler.runMainIO @ ghc-prim:GHC.Tuple.()
             main:Main.main;
     \end{lstlisting}
+    \vspace{-10pt}
     \mycpt{putStrLn example: GHC external Core output}%
         {}{lst:putStrLn-extcore}
 \end{listing}
         (Constr : H, (Constr : e, (Constr : y, (Constr []))))  => 
         runMainIO (Constr : H, (Constr : e, (Constr : y, (Constr []))))  => 
     \end{lstlisting}
+    \vspace{-10pt}
     \mycpt{putStrLn example: PyHaskell evaluation log}{}{lst:putStrLn-evallog}
 \end{listing}
 
 \makeatletter
 \minted@define@extra{numbers} % Expose numbers option from fancyvbr
 \makeatother
+\renewcommand\theFancyVerbLine{\textcolor{gray}{\tiny\arabic{FancyVerbLine}}}
 
 % Listings options
 %------------------
-\lstdefinestyle{pypymath}{% PyPy trace with mathmode
-    language=python,
-    numbersep=2pt, numbers=right, numberstyle=\tiny\color{gray},
+\lstset{% Default settings
     basicstyle=\footnotesize,
-    mathescape=true,
-    frame=lines, framerule=0.2pt,
-    emph={guard, promote}, emphstyle=\color{blue},
+    numbersep=2pt,
+    numbers=right,
+    numberstyle=\tiny\color{gray},
+    frame=lines,
+    framerule=0.4pt,
     gobble=8,
 }
 
+\lstdefinestyle{pypymath}{% PyPy trace with mathmode
+    language=python,
+    mathescape=true,
+    emph={guard, promote}, emphstyle=\color{blue},
+}
+
 \lstdefinestyle{hcr}{% Haskell external Core output
-    language=haskell,
-    numbersep=2pt, numbers=right, numberstyle=\tiny\color{gray},
-    basicstyle=\footnotesize,
-    frame=lines, framerule=0.2pt,
-    gobble=8,
 }
 
 \lstdefinestyle{hcj}{% Core2js output, JSCore
-    numbersep=2pt, numbers=right, numberstyle=\tiny\color{gray},
-    basicstyle=\footnotesize,
-    frame=lines, framerule=0.2pt,
-    gobble=8,
 }
 
 \lstdefinestyle{pyhaskell}{% PyHaskell main loop output
-    numbersep=2pt, numbers=right, numberstyle=\tiny\color{gray},
-    basicstyle=\footnotesize,
-    frame=lines, framerule=0.2pt,
-    gobble=8,
 }
 
 
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.