Handle primitive types and pseudo ops when generating LaTeX

1 files changed, 15 insertions, 0 deletions

diff --git a/utils/genprimopcode/Main.hs b/utils/genprimopcode/Main.hs
index f246ad2310..af23d5c90d 100644
--- a/utils/genprimopcode/Main.hs
+++ b/utils/genprimopcode/Main.hs
@@ -210,6 +210,21 @@ gen_latex_doc (Info defaults entries)
 		 "\\primopsection{" 
 		 ++ latex_encode title ++ "}{" 
 		 ++ desc ++ "}\n"
+           mk_entry (PrimTypeSpec {ty=ty,desc=desc,opts=opts}) =
+   		 "\\primtypespec{"
+		 ++ latex_encode (mk_source_ty ty) ++ "}{"
+		 ++ latex_encode (mk_core_ty ty) ++ "}{"
+		 ++ desc ++ "}{"
+		 ++ mk_options opts
+		 ++ "}\n"
+           mk_entry (PseudoOpSpec {name=name,ty=ty,desc=desc,opts=opts}) =
+		 "\\pseudoopspec{"
+		 ++ latex_encode (zencode name) ++ "}{"
+		 ++ latex_encode (mk_source_ty ty) ++ "}{"
+		 ++ latex_encode (mk_core_ty ty) ++ "}{"
+		 ++ desc ++ "}{"
+		 ++ mk_options opts
+		 ++ "}\n"
 	   mk_source_ty t = pty t
 	     where pty (TyF t1 t2) = pbty t1 ++ " -> " ++ pty t2
 		   pty t = pbty t