diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2003-05-14 17:51:10 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2003-05-14 17:51:10 +0000 |
| commit | b5609e8619a1b7fa7dc5869ea2926a5bd9a0746d (patch) | |
| tree | a6a49698c19b7ca63473d9b5746866386b81a13c | |
| parent | 2b7e706ab84a5143393555c9fefff3254afcb9bc (diff) | |
Code mort.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/typecore.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/typing/typecore.ml b/typing/typecore.ml index 9fa48ad45..2b59a2931 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -699,11 +699,6 @@ let type_format loc fmt = let ty_f = ty_arrow Predef.type_string Predef.type_string in let ty_aresult, ty_result = conversion j ty_arg in ty_aresult, ty_arrow ty_f ty_result - | 'r' -> - let ty_res = newvar() in - let ty_r = ty_arrow ty_input ty_res in - let ty_aresult, ty_result = conversion j ty_res in - ty_arrow ty_r ty_aresult, ty_result | 't' -> conversion j (ty_arrow ty_input ty_aresult) | 'n' when j + 1 = len -> conversion j Predef.type_int | 'l' | 'n' | 'L' as conv -> |