Integration of module system implementation in the front-end

Processing multi-module Haskell programs is now easy

• Operator precedences
• Scoping
• Type checking
• Translation to Alfa