public/private module sections (was Re[2]: Export lists in modules)

modules M exports class Eq a where (==) :: a - a - Bool data T :: * - * f :: T - Int mkT :: Int - T where -- implementation below here -- SM The main difference is that I'm doing away with parentheses, commas, and SM export specifiers, and using layout

Re: public/private module sections (was Re[2]: Export lists in modules)

let's go through 5.2 Export Lists to see what would be missing if we tried to replace the export list with a separation of a module into a public (exported) and a private (local) part: --- module M exports body where body -- 1. value, field