summaryrefslogtreecommitdiff
path: root/compiler/hsSyn/HsUtils.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs hsSyn/Austin Seipp2014-12-031-906/+0
* Implement Partial Type SignaturesThomas Winant2014-11-281-1/+1
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-281-6/+6
* Capture original source for literalsAlan Zimmerman2014-11-211-7/+7
* Add API AnnotationsAlan Zimmerman2014-11-211-4/+4
* AST changes to prepare for API annotations, for #9628Alan Zimmerman2014-11-211-8/+10
* nlHsTyApps: for applying a function both on type- and term-level argumentsDr. ERDI Gergo2014-11-131-1/+4
* A little refactoring of HsSplice and friendsSimon Peyton Jones2014-11-041-5/+3
* remove old .NET related codeYuras Shumovich2014-10-311-1/+0
* Remove a few redundant `-fno-warn-tabs`sHerbert Valerio Riedel2014-09-251-6/+0
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-191-3/+12
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-061-129/+172
* Refactor PatSynBind so that we can pass around PSBs instead of several argumentsDr. ERDI Gergo2014-07-291-6/+8
* Fixed issue with detection of duplicate record fieldsGintautas Miliauskas2014-07-241-12/+19
* Remove dead code. Fix comment typo.Jan Stolarek2014-06-301-1/+1
* Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023)Simon Peyton Jones2014-06-051-1/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Instead of tracking Origin in LHsBindsLR, track it in MatchGroupDr. ERDI Gergo2014-04-131-23/+23
* Squash some spelling issuesGabor Greif2014-01-261-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-10/+18
* Comments onlySimon Peyton Jones2013-12-301-3/+6
* Fix #8607.Richard Eisenberg2013-12-261-24/+28
* Comments onlySimon Peyton Jones2013-11-281-1/+4
* Roleify TcCoercionJoachim Breitner2013-11-271-6/+4
* In toHsType, filter out kind variablesJoachim Breitner2013-11-251-1/+2
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-251-6/+7
* Implement GeneralizedNewtypeDeriving in terms of `coerce`.Richard Eisenberg2013-11-221-1/+47
* Add support for pattern splices.Geoffrey Mainland2013-10-041-0/+1
* Clean up smart constructors for splices.Geoffrey Mainland2013-10-041-6/+9
* Differentiate typed and untyped splices and brackets in the abstract syntax.Geoffrey Mainland2013-10-041-2/+5
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Change role annotation syntax.Richard Eisenberg2013-09-171-3/+3
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-1/+1
* Rearrange the typechecking of arrows, especially arrow "forms"Simon Peyton Jones2013-03-041-2/+5
* Add OverloadedLists, allowing list syntax to be overloadedSimon Peyton Jones2013-02-141-3/+3
* Refactor HsExpr.MatchGroupSimon Peyton Jones2013-01-041-1/+1
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-14/+17
* This big patch re-factors the way in which arrow-syntax is handledSimon Peyton Jones2012-10-031-36/+40
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-111-4/+1
* Tidy up a remaining glitch in unificationSimon Peyton Jones2012-05-011-6/+6
* Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-201-1/+1
* Allow kind-variable binders in type signaturesSimon Peyton Jones2012-04-131-33/+1
* Make the 'extract' functions to find free type variablesSimon Peyton Jones2012-03-261-2/+2
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-241-2/+3
|\
| * Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-141-1/+1
* | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is theSimon Peyton Jones2012-03-221-16/+32
* | Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-141-1/+1
|/
* Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-5/+5
* Refactor HsDecls again, to put family instances in InstDeclSimon Peyton Jones2012-02-061-10/+14
* fix #5022: polymorphic definitions inside arrow recRoss Paterson2011-12-191-1/+1