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

PR#4261: expand abbreviations one at a time, because we do not know whether expanding to HNF will terminate. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8985 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 2008-08-07 08:22:15 +00:00
parent 47a482380a
commit 636d845eed
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typing/ctype.ml
View File

@ -1236,7 +1236,7 @@ let rec non_recursive_abbrev env ty0 ty =
match ty.desc with
Tconstr(p, args, abbrev) ->
begin try
non_recursive_abbrev env ty0 (try_expand_head env ty)
non_recursive_abbrev env ty0 (try_expand_once env ty)
with Cannot_expand ->
if !Clflags.recursive_types then () else
iter_type_expr (non_recursive_abbrev env ty0) ty