projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Added LaTeX commands for primitive types and pseudo ops
[ghc-hetmet.git]
/
docs
/
ext-core
/
core.tex
diff --git
a/docs/ext-core/core.tex
b/docs/ext-core/core.tex
index
266d857
..
a0a75c3
100644
(file)
--- 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}\\}
\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}
\input{prims.tex}
\subsubsection{RealWorld}