Changes between Version 6 and Version 7 of TypeApplication


Ignore:
Timestamp:
May 15, 2017 7:36:27 AM (6 months ago)
Author:
srodal
Comment:

The extension name is TypeApplications, not ExplicitTypeApplication.

Legend:

Unmodified
Added
Removed
Modified
  • TypeApplication

    v6 v7  
    3939 
    4040
    41 This extension can be enabled with “ExplicitTypeApplication” within the LANGUAGE pragma, or use the flag “-XExplicitTypeApplication”. The usage of this flag does not turn on any other flag implicitly. Using this flag will make a whitespace-sensitive distinction preceding each ‘@’ character: No whitespace before ‘@’ will result in an as-pattern, while having whitespace before the ‘@’ will parse as a type-application. (When this flag is turned off, the behavior is the same as it is now - no whitespace sensitivity). See '''Design''' with more information on the syntax.
     41This extension can be enabled with “TypeApplications” within the LANGUAGE pragma, or use the flag “-XTypeApplications”. The usage of this flag does not turn on any other flag implicitly. Using this flag will make a whitespace-sensitive distinction preceding each ‘@’ character: No whitespace before ‘@’ will result in an as-pattern, while having whitespace before the ‘@’ will parse as a type-application. (When this flag is turned off, the behavior is the same as it is now - no whitespace sensitivity). See '''Design''' with more information on the syntax.
    4242
    4343Here are some examples where type application is useful: