projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Use mkFunTy to ensure that invariants are respected
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcRnTypes.lhs
2010-03-20
Ian Lynagh
Remove LazyUniqFM; fixes trac #3880
blob
|
commitdiff
2010-02-10
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2009-11-30
Simon Marlow
Check whether the main function is actually exported...
blob
|
commitdiff
|
diff to current
2009-09-10
simonpj@microsoft.com
Three improvements to Template Haskell (fixes #3467)
blob
|
commitdiff
|
diff to current
2009-08-26
Isaac Dupree
remove Haddock-lexing/parsing/renaming from GHC
blob
|
commitdiff
|
diff to current
2009-07-23
simonpj@microsoft.com
Fix Trac #3012: allow more free-wheeling in standalone...
blob
|
commitdiff
|
diff to current
2009-07-16
Simon Marlow
Use names like '$fOrdInt' for dfuns (and TF instances...
blob
|
commitdiff
|
diff to current
2009-07-07
Ian Lynagh
Remove unused imports
blob
|
commitdiff
|
diff to current
2009-07-06
simonpj@microsoft.com
Major patch to fix reporting of unused imports
blob
|
commitdiff
|
diff to current
2009-04-27
Manuel M T Chakravarty
Equality constraint solver is now externally pure
blob
|
commitdiff
|
diff to current
2009-01-30
simonpj@microsoft.com
Fix Trac #2985: generating superclasses and recursive...
blob
|
commitdiff
|
diff to current
2008-12-11
Thomas Schilling
Comments only. Haddockify parts of TcRnTypes.
blob
|
commitdiff
|
diff to current
2008-10-30
simonpj@microsoft.com
Add (a) CoreM monad, (b) new Annotations feature
blob
|
commitdiff
|
diff to current
2008-10-28
simonpj@microsoft.com
Fix Trac #2723: keep track of record field names in...
blob
|
commitdiff
|
diff to current
2008-10-15
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2008-10-02
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2008-09-07
Manuel M T Chakravarty
Type families: new algorithm to solve equalities
blob
|
commitdiff
|
diff to current
2008-08-11
simonpj@microsoft.com
Make comparison on equalities work right (ie look at...
blob
|
commitdiff
|
diff to current
2008-07-20
Thomas Schilling
Fix Haddock errors.
blob
|
commitdiff
|
diff to current
2008-07-20
Ian Lynagh
Add a WARNING pragma
blob
|
commitdiff
|
diff to current
2008-06-06
Ian Lynagh
Fix warnings in TcRnTypes
blob
|
commitdiff
|
diff to current
2008-05-28
Simon Marlow
Use MD5 checksums for recompilation checking (fixes...
blob
|
commitdiff
|
diff to current
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TcRnTypes
blob
|
commitdiff
|
diff to current
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
blob
|
commitdiff
|
diff to current
2008-02-29
Manuel M T Chakravarty
Remove GADT refinements, part 3
blob
|
commitdiff
|
diff to current
2008-02-07
Ian Lynagh
Convert more UniqFM's back to LazyUniqFM's
blob
|
commitdiff
|
diff to current
2008-01-18
simonpj@microsoft.com
Add quasi-quotation, courtesy of Geoffrey Mainland
blob
|
commitdiff
|
diff to current
2007-11-22
Manuel M T Chakravarty
Properly ppr InstEqs in wanteds of implication constraints
blob
|
commitdiff
|
diff to current
2007-11-21
simonpj@microsoft.com
Make rebindable do-notation behave as advertised
blob
|
commitdiff
|
diff to current
2007-11-06
simonpj@microsoft.com
Fix Trac #1814 (staging interaction in Template Haskell...
blob
|
commitdiff
|
diff to current
2007-10-27
simonpj@microsoft.com
An implication constraint can abstract over EqInsts
blob
|
commitdiff
|
diff to current
2007-10-10
Dan Licata
View patterns, record wildcards, and record puns
blob
|
commitdiff
|
diff to current
2007-09-15
Manuel M T Chakravarty
Overhaul of the rewrite rules
blob
|
commitdiff
|
diff to current
2007-09-11
simonpj@microsoft.com
Minor refactoring: give an explicit name to the pretty...
blob
|
commitdiff
|
diff to current
2007-09-06
Manuel M T Chakravarty
EqInst related clean up
blob
|
commitdiff
|
diff to current
2007-09-04
Ian Lynagh
Fix CodingStyle#Warnings URLs
blob
|
commitdiff
|
diff to current
2007-09-03
Ian Lynagh
Use OPTIONS rather than OPTIONS_GHC for pragmas
blob
|
commitdiff
|
diff to current
2007-09-01
Ian Lynagh
Add {-# OPTIONS_GHC -w #-} and some blurb to all compil...
blob
|
commitdiff
|
diff to current
2007-08-28
Manuel M T Chakravarty
Type checking for type synonym families
blob
|
commitdiff
|
diff to current
2007-08-26
Ian Lynagh
Check that exported modules were actually imported...
blob
|
commitdiff
|
diff to current
2007-07-17
andy@galois.com
Adding pushing of hpc translation status through hi...
blob
|
commitdiff
|
diff to current
2007-06-21
Lemmih
Add several new record features
blob
|
commitdiff
|
diff to current
2007-05-02
simonpj@microsoft.com
Improve error reporting for type signatures
blob
|
commitdiff
|
diff to current
2006-12-11
simonpj@microsoft.com
More refactoring of constraint simplification
blob
|
commitdiff
|
diff to current
2006-11-24
simonpj@microsoft.com
Gather constraints in program order
blob
|
commitdiff
|
diff to current
2006-11-23
simonpj@microsoft.com
Simplify TcSimplify, by removing Free
blob
|
commitdiff
|
diff to current
2006-11-22
simonpj@microsoft.com
Retain simplifications of implication constraints
blob
|
commitdiff
|
diff to current
2006-11-10
simonpj@microsoft.com
Use implication constraints to improve type inference
blob
|
commitdiff
|
diff to current
2006-10-18
Manuel M T Chakravarty
Cross-module consistency check for family instances
blob
|
commitdiff
|
diff to current
2006-10-13
simonpj@microsoft.com
More refactoring in RnNames
blob
|
commitdiff
|
diff to current
2006-10-13
Manuel M T Chakravarty
Keep track of family instance modules
blob
|
commitdiff
|
diff to current
2006-10-11
simonpj@microsoft.com
Make Inst into a record type to ease subsequent changes
blob
|
commitdiff
|
diff to current
2006-10-11
Simon Marlow
More import tidying and fixing the stage 2 build
blob
|
commitdiff
|
diff to current
2006-10-11
Simon Marlow
Interface file optimisation and removal of nameParent
blob
|
commitdiff
|
diff to current
2006-10-10
Manuel M T Chakravarty
Rough matches for family instances
blob
|
commitdiff
|
diff to current
2006-10-05
davve@dtek.chalmers.se
Merge Haddock comment support from ghc.haddock -- big...
blob
|
commitdiff
|
diff to current
2006-09-19
bjorn@bringert.net
Fixed source location and instance origin in stand...
blob
|
commitdiff
|
diff to current
2006-09-29
simonpj@microsoft.com
Remove Linear Implicit Parameters, and all their works
blob
|
commitdiff
|
diff to current
2006-09-29
simonpj@microsoft.com
Global renamings in HsSyn
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Basic set up for global family instance environment
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
blob
|
commitdiff
|
diff to current
2006-08-11
simonpj@microsoft.com
Two more error message indendations
blob
|
commitdiff
|
diff to current
2006-07-25
Simon Marlow
Generalise Package Support
blob
|
commitdiff
|
diff to current
2006-07-24
Simon Marlow
In interface files, store FastStrings rather than OccNa...
blob
|
commitdiff
|
diff to current
2006-04-18
simonpj@microsoft.com
Comment only
blob
|
commitdiff
|
diff to current
2006-04-07
Simon Marlow
Reorganisation of the source tree
blob
|
commitdiff
|
diff to current