Support for non-empty lists

[johnyob]

It would be great if Base provided a List.Non_empty module for non-empty lists

type 'a t = (::) of 'a * 'a list

[bcc32]

Does the Nonempty_list library do what you need? You can get it by installing core_kernel and using core_kernel.nonempty_list in your dune file.

[johnyob]

I was unaware of this Nonempty_list library in Core_kernel.

Nonetheless, it was my understanding that Core_kernel was going to be deprecated at some point. Will this Nonempty_list library be merged into Base or Core?

[bcc32]

Core_kernel the library has been deprecated, but the opam package still remains. We're not planning on merging Nonempty_list into Base or Core anytime soon, but it's possible the best way to handle this is to release it as a separate, one-module package, rather than bundling it with a bunch of unrelated libraries.

I think @staronj or maybe @tov is the right person to think about this (low confidence)?

[tov]

That sounds fine to me (low confidence), but I'm wondering if there's a reason not to move it to core.

[nmatschke]

We intend to move Nonempty_list into Base but it's not at the top of our stack. We'll update this issue if and when that happens.