search

braibant / articheck

14 stars 2 forks source link

Using namespaces #6

Open braibant opened 10 years ago

braibant commented 10 years ago

Should the implementation of the signature descriptions make it possible to describe nested namespaces?

gasche commented 10 years ago

I think we don't need it for a toy presentation (the best we can aim for in an article setting anyway). The point of signature descriptions is to expose the public interface of the module, but it need not absolutely mirror the ML signature source.