Closed ghost closed 4 years ago
If you decide to use stdlib_shims, we'd modify the jbuilder file, which wouldn't exist any longer after the migration to dune (#35). In that case, this diff would need to be adjusted and merged after #35.
stdlib_shims
Perhaps this is the wrong approach and will break more than it solves.
I think this is the right approach. 4.07 isn't so new and users are welcome to use the old version.
If you decide to use
stdlib_shims
, we'd modify the jbuilder file, which wouldn't exist any longer after the migration to dune (#35). In that case, this diff would need to be adjusted and merged after #35.