diff options
| author | Pierre-Marie Pédrot | 2017-08-27 17:17:00 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-27 17:17:00 +0200 |
| commit | 4c822dbb1c01139e95c165515777703263806ec1 (patch) | |
| tree | 0e031dea0cc8e06d2ced30fb35ee7c47526908a8 /src | |
| parent | c6d28beca01809dbd06b3b36ea53bd4a94824083 (diff) | |
Ensure no confusion with unit in rigid variables.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2intern.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2intern.ml b/src/tac2intern.ml index 40e0ffb34e..5c1c90e924 100644 --- a/src/tac2intern.ml +++ b/src/tac2intern.ml @@ -1168,7 +1168,7 @@ let check_subtype t1 t2 = let env = empty_env () in let t1 = fresh_type_scheme env t1 in (** We build a substitution mimicking rigid variable by using dummy tuples *) - let rigid i = GTypRef (Tuple i, []) in + let rigid i = GTypRef (Tuple (i + 1), []) in let (n, t2) = t2 in let subst = Array.init n rigid in let substf i = subst.(i) in |