From: sven.panne@aedion.de <unknown>
Date: Wed, 14 Mar 2007 13:27:03 +0000 (+0000)
Subject: Added LaTeX commands for primitive types and pseudo ops
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=df58918710e371c9e26c50704fc2d15aab579ef6

Added LaTeX commands for primitive types and pseudo ops
---

diff --git a/docs/ext-core/core.tex b/docs/ext-core/core.tex
index 266d857..a0a75c3 100644
--- a/docs/ext-core/core.tex
+++ b/docs/ext-core/core.tex
@@ -889,6 +889,14 @@ Perhaps there should be a global flag in the file?}
 \par\noindent{\texttt{{{#3} :: {#6}}}}
 \\{#7} {#8}\\} 
 
+\newcommand{\primtypespec}[4]{
+\par\noindent{Primitive type: \texttt{{#2}}}
+\\{#3} {#4}\\}
+
+\newcommand{\pseudoopspec}[5]{
+\par\noindent{\texttt{{{#1} :: {#3}}}}
+\\{#4} {#5}\\}
+
 \input{prims.tex}
 
 \subsubsection{RealWorld}