diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-26 14:42:35 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-26 14:42:35 +0200 |
| commit | 6f3fa80b37ca5f8d992f5d6f66aee77ead303bf4 (patch) | |
| tree | 1d3099280e63fac03d906b24bc6b877840348eab /common.sml | |
| parent | c6b6203f8420f76a47433717eab8026d524ec5c1 (diff) | |
Symbol table
Diffstat (limited to 'common.sml')
| -rw-r--r-- | common.sml | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -175,6 +175,10 @@ val R = fn z => bind A1 (fn ((output, _), n) => app (fn f => f ()) type ('t, 'a, 'b, 'c) a1printer = (bool * ((string -> unit) * 'a)) * 'b -> 't -> ((bool * ((string -> unit) * 'a)) * 'b -> 'c) -> 'c +type ('t1, 't2, 'a, 'b, 'c) a2printer = + (bool * ((string -> unit) * 'a)) * 'b -> 't1 -> 't2 -> + ((bool * ((string -> unit) * 'a)) * 'b -> 'c) -> 'c + fun die code g = let fun finish (true, _) = raise Unreachable |