diff options
| -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 -> |