diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-28 12:25:17 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-28 12:25:17 +0000 |
| commit | e31db147dd8bedaab0434418c09653d886dd0b4c (patch) | |
| tree | c01c0bc547c18231bfc24311b1cccdb704e405ca | |
| parent | f7a80c3c900859de70300bba4eda6a55eaad3574 (diff) | |
Nouvelle rectif de array_kind pour faire face aux abreviations non expansables.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | bytecomp/translcore.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index 6933115c6..76cf1f444 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -207,7 +207,7 @@ let maybe_pointer arg = let array_kind arg = match Ctype.repr arg.exp_type with - Tconstr(p, [ty]) -> + Tconstr(p, [ty]) when Path.same p Predef.path_array -> begin match Ctype.repr ty with Tvar v -> Pgenarray | Tconstr(p, _) -> @@ -219,7 +219,7 @@ let array_kind arg = Paddrarray | _ -> Paddrarray end - | _ -> Pgenarray (* This can happen with abbreviations taht we can't expand + | _ -> Pgenarray (* This can happen with abbreviations that we can't expand here because the typing environment is lost *) let transl_prim prim args = |