diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-25 19:59:56 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-25 19:59:56 +0200 |
| commit | d9c809a5550b2fe23b2fd1e66672b503730d55f1 (patch) | |
| tree | 6f8001d56823305f9f93c52833362b28e9d2def4 /common.sml | |
| parent | 2a1cfad37d5e87b2d7eb3c9da16db66364a9b9a3 (diff) | |
Expression parsing
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 |