Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Affichage de type recursif qui bouclait. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jérôme Vouillon 1996-08-13 15:04:24 +00:00
parent df42185ca0
commit 7d0913093b
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typing/printtyp.ml
View File

@ -301,7 +301,8 @@ let rec type_declaration id decl =
Type_abstract -> ()
| Type_variant [] -> ()
(* A fatal error actually, except when printing type exn... *)
| Type_variant (cstr1 :: cstrs) ->
| Type_variant (cstr1 :: cstrs as cstrs0) ->
List.iter (fun (_, args) -> List.iter mark_loops args) cstrs0;
print_string " ="; print_break 1 2;
constructor cstr1;
List.iter
@ -541,7 +542,7 @@ let rec trace fst txt =
(t1, t1')::(t2, t2')::rem ->
if not fst then
print_cut ();
open_hovbox 0;
open_box 0;
print_string "Type"; print_break 1 2;
type_expansion t1 t1'; print_space ();
txt (); print_break 1 2;
@ -556,7 +557,7 @@ let unification_error tr txt1 txt2 =
List.iter
(function (t, t') -> mark_loops t; if t != t' then mark_loops t')
tr;
open_hovbox 0;
open_box 0;
let (t1, t1') = List.hd tr in
let (t2, t2') = List.hd (List.tl tr) in
txt1 (); print_break 1 2;