diff options
Diffstat (limited to 'common.sml')
-rw-r--r-- | common.sml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -161,7 +161,7 @@ val I = fn z => bindWith2str Int.toString z val C = fn z => bindWith2str str z val B = fn z => bindWith2str Bool.toString z val R = fn z => bind A1 (fn ((output, _), n) => app (fn f => f ()) - (List.tabulate (n, fn _ => fn () => output "\t"))) z + (List.tabulate (n, fn _ => fn () => output " "))) z type ('t, 'a, 'b, 'c) a1printer = (bool * ((string -> unit) * 'a)) * 'b -> 't -> ((bool * ((string -> unit) * 'a)) * 'b -> 'c) -> 'c |