Documentation

Typecheck a collection of default declarations. These can be either:

• Haskell 98 default declarations, of the form default (Float, Double)
• Named default declarations, of the form default Cls(Int, Char). See Note [Named default declarations]

Extend the default environment with the local default declarations and do the action in the extended environment.