diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-03-21 14:43:25 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-03-21 14:43:25 +0000 |
| commit | 7dfe9784b74fd0e7d84b223703ebbfa867e2347c (patch) | |
| tree | 1889a365a8fae5f8f6ed09e7072e6144a7b48157 /typing/datarepr.ml | |
| parent | 179acdbff529b24268fe0fb158865a437d90b8d0 (diff) | |
| download | ocaml-7dfe9784b74fd0e7d84b223703ebbfa867e2347c.tar.gz | |
Revu la gestion des records de flottants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/datarepr.ml')
| -rw-r--r-- | typing/datarepr.ml | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/typing/datarepr.ml b/typing/datarepr.ml index 0ef4c5d2cb..a5ebad55dc 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -58,21 +58,8 @@ let dummy_label = { lbl_res = none; lbl_arg = none; lbl_mut = Immutable; lbl_pos = (-1); lbl_all = [||]; lbl_repres = Record_regular } -(* We cannot call Ctype.expand_head directly here, so we rely - on label_descrs being passed the partial application - (Ctype.expand_head current_env). *) - -let is_float expand_fn ty = - match expand_fn ty with - {desc = Tconstr(p, _, _)} -> Path.same p Predef.path_float - | _ -> false - -let label_descrs expand_fn ty_res lbls_init lbls = +let label_descrs ty_res lbls repres = let all_labels = Array.create (List.length lbls) dummy_label in - let repres = - if List.for_all (fun (name, flag, ty) -> is_float expand_fn ty) lbls_init - then Record_float - else Record_regular in let rec describe_labels num = function [] -> [] | (name, mut_flag, ty_arg) :: rest -> |