diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-25 16:47:47 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-25 16:47:47 +0000 |
| commit | 5316718753567f21b277814239a7d11c7eef75d0 (patch) | |
| tree | 6f1f852ab96e570c25e780199b7d6bd4d15aac63 | |
| parent | 8a85ff7d607cd00f0e0b0a5a43bc51dda1f2f766 (diff) | |
| download | ocaml-5316718753567f21b277814239a7d11c7eef75d0.tar.gz | |
Mtype.scrape recursif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2599 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/mtype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/mtype.ml b/typing/mtype.ml index f5f327661f..111367daac 100644 --- a/typing/mtype.ml +++ b/typing/mtype.ml @@ -22,7 +22,7 @@ let rec scrape env mty = match mty with Tmty_ident p -> begin try - Env.find_modtype_expansion p env + scrape env (Env.find_modtype_expansion p env) with Not_found -> mty end |