By adding a charset or parametrized by the expected value in
continuation we should be able to use an exact charset for dependent sequence.
This might impact performance a bit for grammar not using dependent sequence, but we could
have two variants of the Comb module, with the same interface, selected automatically or not.
This would give the following type for continuation:
type ('a, 'b) cont = Charset.t * ('b env -> 'a -> Charset.t * ('b err -> 'b))
By adding a charset or parametrized by the expected value in continuation we should be able to use an exact charset for dependent sequence.
This might impact performance a bit for grammar not using dependent sequence, but we could have two variants of the Comb module, with the same interface, selected automatically or not.
This would give the following type for continuation:
or
instead of the current
This way we can get the charset without evaluating the continuation to the end.