[Types-sig] Interface files

[Skip Montanaro]

    Greg> I stated a preference for allowing this information to reside in
    Greg> the same file as the implementation. i.e. I don't want to maintain
    Greg> two files.

    Paul> The nice thing about having separate files is that it becomes
    Paul> instantly clear what is "interesting" to the compiler. We have no
    Paul> backwards compatibility constraints. We have no questions about
    Paul> what variable are "in scope" and "available". It's just plain
    Paul> simpler.

If you're determined to have some sort of syntax to support declarations,
why not separate files for 1.6 and modified syntax for 2.0?

Skip