summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/Language/Haskell/TH/PprLib.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add explicit LANGUAGE Safe to template-haskellOleg Grenrus2020-02-141-1/+1
| | | (cherry picked from commit a5e0f376821ca882880b03b07b451aa574e289ec)
* fix Template Haskell cross compilation on 64 bit compiler with 32 bit targetLuite Stegeman2019-05-221-3/+3
|
* Reexport Semigroup's <> operator from Prelude (#14191)Herbert Valerio Riedel2017-09-221-0/+1
| | | | | | | This completes the 2nd phase of the Semigroup=>Monoid Proposal (SMP) initiated in 8ae263ceb3566a7c82336400b09cb8f381217405. This updates a couple submodules to address <> naming clashes.
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-121-1/+1
| | | | | | | | | | | | | | | | | | This commit adds Template Haskell support for pattern synonyms as requested by trac ticket #8761. Test Plan: ./validate Reviewers: thomie, jstolarek, osa1, RyanGlScott, mpickering, austin, goldfire, bgamari Reviewed By: goldfire, bgamari Subscribers: rdragon Differential Revision: https://phabricator.haskell.org/D1940 GHC Trac Issues: #8761
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
| | | | | | Starting with GHC 7.10 and base-4.8, `Monad` implies `Applicative`, which allows to simplify some definitions to exploit the superclass relationship. This a first refactoring to that end.
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-4/+1
| | | | | | | | | | | | Since GHC 8.1/8.2 only needs to be bootstrap-able by GHC 7.10 and GHC 8.0 (and GHC 8.2), we can now finally drop all that pre-AMP compatibility CPP-mess for good! Reviewers: austin, goldfire, bgamari Subscribers: goldfire, thomie, erikd Differential Revision: https://phabricator.haskell.org/D1724
* Add proper GADTs support to Template HaskellJan Stolarek2015-12-211-10/+9
| | | | | | | | | | | | | | | | Until now GADTs were supported in Template Haskell by encoding them using normal data types. This patch adds proper support for representing GADTs in TH. Test Plan: T10828 Reviewers: goldfire, austin, bgamari Subscribers: thomie, mpickering Differential Revision: https://phabricator.haskell.org/D1465 GHC Trac Issues: #10828
* template-haskell: set explicit return=pureHerbert Valerio Riedel2015-10-181-0/+1
| | | | This fixups a thinko in c6781a5064049e0a7c17c1f2239567a3c44955af
* template-haskell: MRP-refactor Applicative/Monad instancesHerbert Valerio Riedel2015-10-181-2/+1
| | | | | As `template-haskell` is compiled by stage1+ GHC only, we can drop the explicit `return` definition rightaway.
* Injective type familiesJan Stolarek2015-09-031-2/+4
| | | | | | | | | | | | | | | | | | | For details see #6018, Phab:D202 and the wiki page: https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies This patch also wires-in Maybe data type and updates haddock submodule. Test Plan: ./validate Reviewers: simonpj, goldfire, austin, bgamari Subscribers: mpickering, bgamari, alanz, thomie, goldfire, simonmar, carter Differential Revision: https://phabricator.haskell.org/D202 GHC Trac Issues: #6018
* Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382.Edward Z. Yang2015-05-111-1/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: This commit adds stage 1 support for Template Haskell quoting, e.g. [| ... expr ... |], which is useful for authors of quasiquoter libraries that do not actually need splices. The TemplateHaskell extension now does not unconditionally fail; it only fails if the renamer encounters a splice that it can't run. In order to make sure the referenced data structures are consistent, template-haskell is now a boot library. There are some minor BC changes to template-haskell to make it boot on GHC 7.8. Note for reviewer: big diff changes are simply code being moved out of an ifdef; there was no other substantive change to that code. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate Reviewers: simonpj, austin, goldfire Subscribers: bgamari, thomie Differential Revision: https://phabricator.haskell.org/D876 GHC Trac Issues: #10382
* Remove unboxed Int# fields from NameFlavour (#9527)Richard Eisenberg2014-11-121-4/+3
|
* Untabify template-haskell.Richard Eisenberg2014-11-121-33/+33
|
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-1/+0
| | | | | | | | | | | | | | | | | | | | | Summary: This includes pretty much all the changes needed to make `Applicative` a superclass of `Monad` finally. There's mostly reshuffling in the interests of avoid orphans and boot files, but luckily we can resolve all of them, pretty much. The only catch was that Alternative/MonadPlus also had to go into Prelude to avoid this. As a result, we must update the hsc2hs and haddock submodules. Signed-off-by: Austin Seipp <austin@well-typed.com> Test Plan: Build things, they might not explode horribly. Reviewers: hvr, simonmar Subscribers: simonmar Differential Revision: https://phabricator.haskell.org/D13
* Drop `template-haskell`'s build-dep on `containers`Herbert Valerio Riedel2014-04-251-2/+2
| | | | | | | | | | | | | | | | | | | This is an attempt to address https://github.com/haskell/cabal/issues/1811 by replicating the less than 100 lines of code actually used from the containers package into an internal non-exposed `template-haskell` module. Moreover, `template-haskell` does not expose the `Map` type, so this change should have no visible effect on the public API. It may turn out that `Data.Map` is not necessary and that even a simple list-based associative list (`Prelude.lookup`) may suffice. However, in order to avoid any regressions, this commit takes the safe route and just clones `Data.Map` for now. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Declare all language extensions via `{-# LANGUAGE #-}`Herbert Valerio Riedel2013-10-241-1/+1
| | | | | | Only a few were missing in the `{-# LANGUAGE #-}` annotations. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Fix AMP warningsDavid Luposchainsky2013-09-081-1/+9
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* Added multi-way if-expressions support.Mikhail Vorozhtsov2012-07-161-1/+3
|
* Update import of Text.PrettyPrintDavid Terei2011-08-191-3/+3
|
* Put FlexibleInstances in PprLib alonesimonpj@microsoft.com2010-12-141-0/+1
|
* Format most comments for haddock.Adam Vogt2010-04-271-1/+1
|
* Make the package -Wall cleanIan Lynagh2008-06-191-5/+5
|
* List exact extensions used rather than using -fglasgow-extsIan Lynagh2008-06-161-1/+0
|
* Rejig name printing a bitIan Lynagh2007-04-071-10/+15
|
* Typo fixes, missing {in,ex}portsStefan O'Rear2007-04-011-1/+1
|
* Thread prefix-context argument through pprNameStefan O'Rear2007-04-011-4/+4
|
* Drop dependency to haskell98 packageEinar Karttunen2006-02-091-1/+1
|
* [project @ 2005-03-05 14:13:56 by panne]panne2005-03-051-5/+6
| | | | Use Data.Map instead of the deprecated Data.FiniteMap
* [project @ 2005-02-24 09:58:26 by simonmar]simonmar2005-02-241-0/+1
| | | | | | nDoc fixes from Sven Panne. Generally fixing of Haddock links, adding some signatures, and in some cases exporting type constructors that are mentioned in the types of exported identifiers.
* [project @ 2005-01-11 16:04:32 by simonmar]simonmar2005-01-111-1/+1
| | | | Use OPTIONS_GHC instead of OPTIONS
* [project @ 2004-03-04 17:48:27 by igloo]igloo2004-03-041-7/+7
| | | | Add missing punctuate definition from Duncan Coutts.
* [project @ 2004-01-15 14:43:24 by igloo]igloo2004-01-151-0/+210
Split Template Haskell out to its own package and update docs and tests.
View Lorry Controller Status