>> So, I propose removing connect from the type signatures (but keeping >> it in the implementations). Then, being given a device only implies >> the ability to use it, not the ability to create more devices.
Can you still easily compose devices together if you don't have a way to connect? Who will be responsible for calling the implementation-dependant connect function? Only the mirage tool in main.ml? (I guess that's already the case) Thomas _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
