From 88774f21010123272298ab5937d92428598e4952 Mon Sep 17 00:00:00 2001 From: "sven.panne@aedion.de" Date: Wed, 14 Mar 2007 13:43:28 +0000 Subject: [PATCH] Handle primitive types and pseudo ops when generating LaTeX --- utils/genprimopcode/Main.hs | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/utils/genprimopcode/Main.hs b/utils/genprimopcode/Main.hs index f246ad2..af23d5c 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 -- 1.7.10.4