File: install_gmp_pp.ml

package info (click to toggle)
ocamlcreal 0.7-4
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 368 kB
  • ctags: 754
  • sloc: ml: 2,699; ansic: 1,067; sh: 113; makefile: 46
file content (16 lines) | stat: -rw-r--r-- 436 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 

(* This is a hack to install the pretty-printers in the customized toplevel. *)

(* Caml longidents. *)
type t =
  | Lident of string
  | Ldot of t * string
  | Lapply of t * t

let _ = Topdirs.dir_directory "+creal"

let _ = Topdirs.dir_install_printer Format.std_formatter 
	  (Obj.magic (Ldot (Lident "Gmp_pp", "z")) : 'a)

let _ = Topdirs.dir_install_printer Format.std_formatter 
	  (Obj.magic (Ldot (Lident "Gmp_pp", "q")) : 'a)