Replies: 1 comment 1 reply
-
|
Sure, sounds fine to me. You would have to lead the effort though |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I started using this module a while ago and I find it really useful in conjunction to using the package
ppfor building styled error messages in a functional way. I would find it easier to re-use in various contexts and published opam packages if it wasn't part ofstdune(due to the warning about stdune being unstable). It seems it only depends on foundational packages (pp,ordering, .. ?).I'm thinking of names such as
pp_tty, orpp_ansi, add atype t = Style.t list Pp.tin it, and good to go!What do you think? The lift/refactor seems easier that
loc(#10948) at this time, but I haven't actually tried.You see, the interface of
Ppis great, but because the type oftagsis left for the user to instantiate, there isn't any good default for usingppfor clis, and user facing error messages. My impression is thatPp_tty.twould have the potential to become such standard.Beta Was this translation helpful? Give feedback.
All reactions