diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-05-31 03:11:07 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-05-31 03:11:07 +0000 |
| commit | 3a33e519ebd39b0c585be145a7a80977d13cbd67 (patch) | |
| tree | deef2da8d531ce72b738ca10c36b48087f8bd71b | |
| parent | 21e57202d4f827362e25a1b4203a97b4cbe8d225 (diff) | |
no need to restrict arrow subtyping anymore
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/ctype.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 0420a8473..fb556912b 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -2457,8 +2457,7 @@ let rec build_subtype env visited loops posi onlyloop t = if List.memq t visited then (t, Unchanged) else let visited = if !Clflags.recursive_types then t :: visited else visited in - let (t1', c1) = - build_subtype env visited loops (not posi) (pred_expand onlyloop) t1 in + let (t1', c1) = build_subtype env visited loops (not posi) onlyloop t1 in (* let (t1', c1) = (t1, Unchanged) in *) let (t2', c2) = build_subtype env visited loops posi onlyloop t2 in let c = max c1 c2 in |