We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e81288b commit 8d76d6fCopy full SHA for 8d76d6f
analysis/src/Shared.ml
@@ -49,12 +49,12 @@ let declToString ?(recStatus = Types.Trec_not) name t =
49
let cacheTypeToString = ref false
50
let typeTbl = Hashtbl.create 1
51
52
-let typeToString ?(lineWidth = 60) (t : Types.type_expr) =
+let typeToString ?lineWidth (t : Types.type_expr) =
53
match
54
if !cacheTypeToString then Hashtbl.find_opt typeTbl (t.id, t) else None
55
with
56
| None ->
57
- let s = PrintType.printExpr ~lineWidth t in
+ let s = PrintType.printExpr ?lineWidth t in
58
Hashtbl.replace typeTbl (t.id, t) s;
59
s
60
| Some s -> s
0 commit comments