|
|
# Proposal: [LanguagePragma](language-pragma)
|
|
|
|
|
|
<table><tr><th> Ticket </th>
|
|
|
<th>[\#128](https://gitlab.haskell.org//haskell/prime/issues/128)</th></tr>
|
|
|
<tr><th> Dependencies </th>
|
|
|
<th> none
|
|
|
</th></tr>
|
|
|
<tr><th> Related </th>
|
|
|
<th> specific item in [NewPragmas](new-pragmas)</th></tr></table>
|
|
|
|
|
|
## Compiler support (to-be-filled-in)
|
|
|
|
|
|
<table><tr><th> GHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
</th></tr>
|
|
|
<tr><th> nhc98 </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
</th></tr>
|
|
|
<tr><th> Hugs </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
</th></tr>
|
|
|
<tr><th> UHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
</th></tr>
|
|
|
<tr><th> JHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
</th></tr>
|
|
|
<tr><th> LHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
</th></tr></table>
|
|
|
|
|
|
## Summary
|
|
|
|
|
|
|
|
|
Document the minimum guarantees provided by the LANGUAGE pragma so that Haskell 2010 users can reliably use it to portable control access to non-Haskell 2010 language features.
|
|
|
|
|
|
## Description
|
|
|
|
|
|
|
|
|
To-be-completed.
|
|
|
|
|
|
## References
|
|
|
|
|
|
- [ Compiler Pragmas](http://www.haskell.org/onlinereport/pragmas.html) in Haskell 98
|
|
|
|
|
|
- [ Pragmas](http://www.haskell.org/ghc/docs/latest/html/users_guide/pragmas.html) in the GHC User's Guide
|
|
|
|
|
|
- [ Language.Haskell.Extension](http://hackage.haskell.org/packages/archive/Cabal/1.6.0.3/doc/html/Language-Haskell-Extension.html) - a data type representing Haskell language extensions (as understood by Cabal).
|
|
|
|
|
|
- [ Scheme Requests for Implementation ](http://srfi.schemers.org/) - "A forum for people interested in coordinating libraries and other additions to the Scheme language between implementations"
|
|
|
|
|
|
- [ SRFI 0: Feature-based conditional expansion construct ](http://srfi.schemers.org/srfi-0/) - A baseline mechanism for Scheme users to check the availability of and manage access to specific SRFIs
|
|
|
|
|
|
## Report Delta
|
|
|
|
|
|
|
|
|
To-be-completed. |