[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [MirageOS-devel] thought on a new API for mirage
A quick follow-up in this. I've rebased my 'combinators' branch, and I've fixed some bugs in the code generator and the generated code. See the same PR (#178) for the new patches. Also, I've quickly ported mirage-www to this new API. The result config.ml is pretty straightforward (I think): - https://github.com/samoht/mirage-www/blob/combinators/src/config.ml - https://github.com/mirage/mirage-www/pull/83 Feedback is welcome (I'm keen to help to write/adapt a FS dispatcher or something else if needed). Thomas PS: I think I'll stash the branch before integrating #178 because the history is quite messy and not very useful On 27 Dec 2013, at 13:14, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote: > Hi, > > During the last days, I've been working on a new version of the mirage API > which should be easier to extend and where defining new operators would be > easier. I'm starting to be happy with the result, which is available here: > > https://github.com/mirage/mirage/pull/178 > > The branch is not ready to merge yet, but I've published it anyway to get > early feedback, so feel free to shout if you dislike it or have better ideas. > > The new API: https://github.com/samoht/mirage/blob/combinators/lib/mirage.mli > > Some examples: > * https://github.com/samoht/mirage/blob/combinators/lib_test/fat/config.ml > * https://github.com/samoht/mirage/blob/combinators/lib_test/http/config.ml > * some combinator examples: > https://github.com/samoht/mirage/blob/combinators/lib_test/combinator/config.ml > > Some of you might have noticed some similarity with the great ctype library > -- it's not a coincidence at all: the goal here is to meta-program at the > modules/functors level, which is not very far from trying to interface with a > foreign language ... > > -- > Thomas > > > > _______________________________________________ MirageOS-devel mailing list MirageOS-devel@xxxxxxxxxxxxxxxxxxxx http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |