Lionel Parreaux

To @devdtc (and @zesterer may be interested). I don't mean to derail this discussion, but you may be interested to have a look at my [Simple**r**-sub](https://github.com/LPTK/simpler-sub) project, which proposes a...

@devdtc I should have mentioned that in Simpler-sub, _you don't need to have a top type_. You can actually decide to reject things like `int | string` as they arise,...

> 1) in practice, people supply type annotations everywhere anyway I don't think that's it. There are many significant codebases in languages like SML, OCaml, F#, and even Haskell (before...

Thanks! I think this is reasonable, since the case classes/objets already extend these. It would be nice to have a way to opt out though, as one can always add...

It seems possible to look for all children (including those defined outside the annotated class/object) using the deprecated `enclosingPackage`/`enclosingUnit` methods, but: - It is subject to the known [syntactic limitations](https://github.com/LPTK/Boilerless#syntax-driven)....

There's a branch called [cleanup](https://github.com/stedolan/mlsub/tree/cleanup) where the syntax is still reasonable and working (at least last I tried, which was more than a year ago). TBF it should probably be...

Are they implemented as polymorphic variants? The quotation mark before the name seems reminiscent of them.

I also encounter the `Unbound value Parser.modlist` error (but not the other one). Not super familiar with OCaml, so I might have skipped something.

Hello there, just chiming in (a little late, sorry). I'm quoting the previous, closed [issue](https://github.com/lloydmeta/enumeratum/issues/109) on the same subject: > One thing I've seen quite often with the annotation-driven enum...

Note: despite that, the library is still rather simple, consisting of a [single file](https://github.com/LPTK/Boilerless/blob/master/macros/src/main/scala/boilerless/Macros.scala) with `325` LOC (excluding blanks and comments). The logic is admittedly rather complex and the code...