Re: next steps

[Thomas Gazagnaire <thomas.gazagnaire@xxxxxxxxx>]

> For example, if you can generate A.X and A.Y both using either
> namespaces (A would be a namespace) or pack (A would be a module), you
> can only use module A as a functor argument, and never the namespace A
> (who can only be used to qualify identifiers of modules).

How hard do you think it is to overcome this ? We can use the signature 
constraint to infer the link order or add a conf file at the directory root. 
But I guess it is more complicated than that :-)