Undocumented API breakage from 0.2.2 to 0.3.0

[msprotz]

029cbc0 removed the Size module from the .mli of Terminal.

I was previously relying on that functionality to not have to re-implement the terminal width detection logic myself.

Can you either re-instate the Size module within Terminal, or suggest a replacement? Thanks!

[dinosaure]

Really sorry, I didn't know this package was used (I thought only progress used the package). The reason for the pointed commit is to be able to use progress.engine in a unikernel and not depend on functions that only a Unix environment can provide.

A solution which could satisfy you and continue to ensure this constraint would be to propose a new terminal.unix package in order to reintroduce the functions you use in a new Terminal_unix module. /cc @art-w WDYT?

[msprotz]

I think that'd be great! I don't know how I ended up using this package, perhaps I saw something called terminal on opam written by a trustworthy author and decided it was a fine dependency to take on? ;-)

[art-w]

Oups my bad! I'll make a PR shortly with a new terminal.unix to re-expose the lost Size functions :)

[dinosaure]

@msprotz The last version (0.4.0) fixed your issue (thanks @art-w for your work). You should just put a constraint now and require terminal.0.4.0. Can you tell me if it's correct?

[msprotz]

It works, thanks!