projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fix haddock submodule pointer
[ghc-hetmet.git]
/
compiler
/
typecheck
/ TcTyClsDecls.lhs
2011-06-11
Simon Peyton Jones
Ignore UNPACK pragmas with OmitInterfacePragmas is...
commit
|
commitdiff
2011-05-26
Simon Peyton Jones
Rejig the way in which generic default method signature...
commit
|
commitdiff
2011-05-20
Simon Peyton Jones
Simon's fixes to the generated type instances in Generics
commit
|
commitdiff
2011-05-12
Jose Pedro Magalhaes
Merge branch 'master' of darcs.haskell.org/ghc into...
commit
|
commitdiff
2011-05-04
Jose Pedro Magalhaes
Remove HsNumTy and TypePati.
commit
|
commitdiff
2011-05-02
Jose Pedro Magalhaes
Remove the hasGenerics field of TyCon, improve the...
commit
|
commitdiff
2011-04-19
Simon Peyton Jones
More small fixes to generics branch (doesn't compile...
commit
|
commitdiff
2011-04-19
Simon Peyton Jones
This BIG PATCH contains most of the work for the New...
commit
|
commitdiff
2011-04-14
unknown
Small fixes to the generics branch to get rid of warnings,
commit
|
commitdiff
2011-04-12
simonpj
Initial commit for Pedro's new generic default methods
commit
|
commitdiff
2011-01-10
simonpj@microsoft.com
Do dependency analysis when kind-checking type declarations
commit
|
commitdiff
2010-12-18
Ian Lynagh
Implement GADTSyntax extension
commit
|
commitdiff
2010-09-18
Ian Lynagh
Add separate functions for querying DynFlag and Extensi...
commit
|
commitdiff
2010-09-14
simonpj@microsoft.com
Move error-ids to MkCore (from PrelRules)
commit
|
commitdiff
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
commit
|
commitdiff
2010-07-15
illissius@gmail.com
Fix #4195 (isGadtSyntaxTyCon returns opposite result)
commit
|
commitdiff
2010-07-13
simonpj@microsoft.com
Refactor where an error message is generated
commit
|
commitdiff
2010-07-07
simonpj@microsoft.com
Fix Trac #4127 (and hence #4173)
commit
|
commitdiff
2010-05-06
simonpj@microsoft.com
Fix Trac #3966: warn about useless UNPACK pragmas
commit
|
commitdiff
2010-04-09
simonpj@microsoft.com
Fix Trac #3966: warn about unused UNPACK pragmas
commit
|
commitdiff
2010-02-10
simonpj@microsoft.com
Keep track of explicit kinding in HsTyVarBndr; plus...
commit
|
commitdiff
2010-01-20
simonpj@microsoft.com
Fix Trac #3823, plus warning police in TcRnDriver
commit
|
commitdiff
2009-07-24
Ian Lynagh
Remove GHC's haskell98 dependency
commit
|
commitdiff
2009-07-23
simonpj@microsoft.com
Add tuple sections as a new feature
commit
|
commitdiff
2009-07-22
simonpj@microsoft.com
Take account of GADTs when reporting patterm-match...
commit
|
commitdiff
2009-07-16
Simon Marlow
Use names like '$fOrdInt' for dfuns (and TF instances...
commit
|
commitdiff
2009-07-06
simonpj@microsoft.com
Trim unused imports detected by new unused-import code
commit
|
commitdiff
2009-07-02
Manuel M T Chakravarty
Type synonym families may be nullary
commit
|
commitdiff
2009-07-02
simonpj@microsoft.com
New syntax for GADT-style record declarations, and...
commit
|
commitdiff
2009-06-25
simonpj@microsoft.com
Fix Trac #3323: naughty record selectors again
commit
|
commitdiff
2009-05-13
simonpj@microsoft.com
Improve error reporting for kind errors (fix Trac ...
commit
|
commitdiff
2009-04-23
simonpj@microsoft.com
Simplify the placeholder binding for naughty record...
commit
|
commitdiff
2009-03-30
simonpj@microsoft.com
Add an extra print to -ddump-tc-trace
commit
|
commitdiff
2009-03-16
simonpj@microsoft.com
Fix Trac #3092
commit
|
commitdiff
2009-02-11
simonpj@microsoft.com
Fix Trac #3017: ensure that we quantify over enough...
commit
|
commitdiff
2009-02-04
simonpj@microsoft.com
Check -XGADTs in (a) type family decls (b) pattern...
commit
|
commitdiff
2009-02-04
simonpj@microsoft.com
Improve error reports for kind checking (Trac #2994)
commit
|
commitdiff
2009-01-14
Ian Lynagh
Remove redundant import; spotted by Thorkil Naur
commit
|
commitdiff
2009-01-02
simonpj@microsoft.com
Make record selectors into ordinary functions
commit
|
commitdiff
2008-12-30
simonpj@microsoft.com
Avoid nasty name clash with associated data types ...
commit
|
commitdiff
2008-11-08
Ian Lynagh
Remove some dead code now that __GLASGOW_HASKELL__...
commit
|
commitdiff
2008-10-21
Ian Lynagh
Fix doc syntax
commit
|
commitdiff
2008-09-23
simonpj@microsoft.com
Allow type families to use GADT syntax (and be GADTs)
commit
|
commitdiff
2008-09-20
simonpj@microsoft.com
Comments only: replace ":=:" by "~" (notation for equal...
commit
|
commitdiff
2008-08-27
simonpj@microsoft.com
Fix Trac #745: improve error recoevery for type signatures
commit
|
commitdiff
2008-08-11
simonpj@microsoft.com
Fix Trac #2412: type synonyms and hs-boot recursion
commit
|
commitdiff
2008-07-31
Max Bolingbroke
Split the Id related functions out from Var into Id...
commit
|
commitdiff
2008-07-14
Manuel M T Chakravarty
Fix check of rhs of type family instances (#2157)
commit
|
commitdiff
2008-06-23
Ian Lynagh
Fix the build with GHC 6.4
commit
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcTyClsDecls
commit
|
commitdiff
2008-06-06
simonpj@microsoft.com
Fix Trac #2334: validity checking for type families
commit
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TcTyClsDecls
commit
|
commitdiff
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
commit
|
commitdiff
2008-03-06
simonpj@microsoft.com
Don't expose the unfolding of dictionary selectors...
commit
|
commitdiff
2008-02-27
simonpj@microsoft.com
Fix Trac #2126: re-order tests (easy)
commit
|
commitdiff
2008-02-22
simonpj@microsoft.com
Improve error messages from type-checking data constructors
commit
|
commitdiff
2008-01-17
Twan van Laarhoven
Monadify typecheck/TcTyClsDecls: use return and standar...
commit
|
commitdiff
2008-01-07
simonpj@microsoft.com
Add -XImpredicativeTypes, and tighten up type-validity...
commit
|
commitdiff
2007-11-16
simonpj@microsoft.com
Wibble to fix Trac #1901 (shorten messsage slightly)
commit
|
commitdiff
2007-11-16
simonpj@microsoft.com
FIX Trac #1901: check no existential context in H98...
commit
|
commitdiff
2007-11-02
simonpj@microsoft.com
Refactor error recovery slightly
commit
|
commitdiff
2007-10-10
Manuel M T Chakravarty
Slightly improved comments in TcTyClsDecls
commit
|
commitdiff
2007-09-04
Ian Lynagh
Fix CodingStyle#Warnings URLs
commit
|
commitdiff
2007-09-03
Ian Lynagh
Use OPTIONS rather than OPTIONS_GHC for pragmas
commit
|
commitdiff
2007-09-01
Ian Lynagh
Add {-# OPTIONS_GHC -w #-} and some blurb to all compil...
commit
|
commitdiff
2007-08-30
Manuel M T Chakravarty
Added decidability check for type instances
commit
|
commitdiff
2007-08-28
Manuel M T Chakravarty
Type checking for type synonym families
commit
|
commitdiff
2007-08-19
Manuel M T Chakravarty
Check for correct number of parameters in type instances
commit
|
commitdiff
2007-08-19
Manuel M T Chakravarty
ATs inherit kind annotations from class partameters
commit
|
commitdiff
2007-08-04
Ian Lynagh
Canonicalise flags in error message
commit
|
commitdiff
2007-07-09
Ian Lynagh
Add flag -XConstrainedClassMethods
commit
|
commitdiff
2007-07-09
Ian Lynagh
Just alpha-rename a variable
commit
|
commitdiff
2007-07-09
Ian Lynagh
Remove unused binding
commit
|
commitdiff
2007-07-08
Ian Lynagh
Implement -XFunctionalDependencies
commit
|
commitdiff
2007-07-08
Ian Lynagh
Add -XMultiParamTypeClasses flag
commit
|
commitdiff
2007-07-08
Ian Lynagh
Implement -XKindSignatures
commit
|
commitdiff
2007-07-08
Ian Lynagh
Add -XEmptyDataDecls flag
commit
|
commitdiff
2007-07-02
Ian Lynagh
Remove mapAccumL, mapAccumR, mapAccumB
commit
|
commitdiff
2007-06-29
Manuel M T Chakravarty
Checking that type indexes contain no synonym family...
commit
|
commitdiff
2007-06-29
Manuel M T Chakravarty
RHS of a type instance must be a tau type
commit
|
commitdiff
2007-06-27
Manuel M T Chakravarty
Fix names of coercions in newtype instances
commit
|
commitdiff
2007-06-21
Lemmih
Add several new record features
commit
|
commitdiff
2007-06-20
simonpj@microsoft.com
Implement -X=GADTs and -X=RelaxedPolyRec
commit
|
commitdiff
2007-05-30
simonpj@microsoft.com
Fix bogus check for strictness in newtypes
commit
|
commitdiff
2007-05-30
simonpj@microsoft.com
Reject newtypes with strictness annotations; fixes...
commit
|
commitdiff
2007-05-14
Manuel M T Chakravarty
-findexed-types -> -ftype-families
commit
|
commitdiff
2007-05-11
Manuel M T Chakravarty
Remove the distinction between data and newtype families
commit
|
commitdiff
2007-05-11
Simon Marlow
Store a SrcSpan instead of a SrcLoc inside a Name
commit
|
commitdiff
2007-05-04
Ian Lynagh
Panic properly if wrongKindOfFamily is given an unexpec...
commit
|
commitdiff
2007-04-25
Manuel M T Chakravarty
Generating synonym instance representation tycons
commit
|
commitdiff
2007-04-22
simonpj@microsoft.com
Fixes to datacon wrappers for indexed data types
commit
|
commitdiff
2007-03-14
simonpj@microsoft.com
Improve error messages slightly, saying "a1...an" inste...
commit
|
commitdiff
2007-02-23
simonpj@microsoft.com
Tidy up typechecking for newtypes
commit
|
commitdiff
2007-02-23
Manuel M T Chakravarty
Moved argument position info of ATs into tycon rhs...
commit
|
commitdiff
2007-02-21
simonpj@microsoft.com
Allow GADT syntax for newtypes
commit
|
commitdiff
2007-01-05
Manuel M T Chakravarty
HsSyn clean up for indexed types
commit
|
commitdiff
2007-01-03
simonpj@microsoft.com
Be more relaxed about reporting ambiguous class methods
commit
|
commitdiff
2006-10-22
Manuel M T Chakravarty
Improve error messages for indexed types
commit
|
commitdiff
2006-10-11
Simon Marlow
More import tidying and fixing the stage 2 build
commit
|
commitdiff
2006-10-06
simonpj@microsoft.com
Fix up the typechecking of interface files during ...
commit
|
commitdiff
next