projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
GHCi linker: Assume non-Haskell libraries are dynamic libs
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcTyClsDecls.lhs
2010-09-18
Ian Lynagh
Add separate functions for querying DynFlag and Extensi...
blob
|
commitdiff
2010-09-14
simonpj@microsoft.com
Move error-ids to MkCore (from PrelRules)
blob
|
commitdiff
|
diff to current
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
blob
|
commitdiff
|
diff to current
2010-07-15
illissius@gmail.com
Fix #4195 (isGadtSyntaxTyCon returns opposite result)
blob
|
commitdiff
|
diff to current
2010-07-13
simonpj@microsoft.com
Refactor where an error message is generated
blob
|
commitdiff
|
diff to current
2010-07-07
simonpj@microsoft.com
Fix Trac #4127 (and hence #4173)
blob
|
commitdiff
|
diff to current
2010-05-06
simonpj@microsoft.com
Fix Trac #3966: warn about useless UNPACK pragmas
blob
|
commitdiff
|
diff to current
2010-04-09
simonpj@microsoft.com
Fix Trac #3966: warn about unused UNPACK pragmas
blob
|
commitdiff
|
diff to current
2010-02-10
simonpj@microsoft.com
Keep track of explicit kinding in HsTyVarBndr; plus...
blob
|
commitdiff
|
diff to current
2010-01-20
simonpj@microsoft.com
Fix Trac #3823, plus warning police in TcRnDriver
blob
|
commitdiff
|
diff to current
2009-07-24
Ian Lynagh
Remove GHC's haskell98 dependency
blob
|
commitdiff
|
diff to current
2009-07-23
simonpj@microsoft.com
Add tuple sections as a new feature
blob
|
commitdiff
|
diff to current
2009-07-22
simonpj@microsoft.com
Take account of GADTs when reporting patterm-match...
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-06
simonpj@microsoft.com
Trim unused imports detected by new unused-import code
blob
|
commitdiff
|
diff to current
2009-07-02
Manuel M T Chakravarty
Type synonym families may be nullary
blob
|
commitdiff
|
diff to current
2009-07-02
simonpj@microsoft.com
New syntax for GADT-style record declarations, and...
blob
|
commitdiff
|
diff to current
2009-06-25
simonpj@microsoft.com
Fix Trac #3323: naughty record selectors again
blob
|
commitdiff
|
diff to current
2009-05-13
simonpj@microsoft.com
Improve error reporting for kind errors (fix Trac ...
blob
|
commitdiff
|
diff to current
2009-04-23
simonpj@microsoft.com
Simplify the placeholder binding for naughty record...
blob
|
commitdiff
|
diff to current
2009-03-30
simonpj@microsoft.com
Add an extra print to -ddump-tc-trace
blob
|
commitdiff
|
diff to current
2009-03-16
simonpj@microsoft.com
Fix Trac #3092
blob
|
commitdiff
|
diff to current
2009-02-11
simonpj@microsoft.com
Fix Trac #3017: ensure that we quantify over enough...
blob
|
commitdiff
|
diff to current
2009-02-04
simonpj@microsoft.com
Check -XGADTs in (a) type family decls (b) pattern...
blob
|
commitdiff
|
diff to current
2009-02-04
simonpj@microsoft.com
Improve error reports for kind checking (Trac #2994)
blob
|
commitdiff
|
diff to current
2009-01-14
Ian Lynagh
Remove redundant import; spotted by Thorkil Naur
blob
|
commitdiff
|
diff to current
2009-01-02
simonpj@microsoft.com
Make record selectors into ordinary functions
blob
|
commitdiff
|
diff to current
2008-12-30
simonpj@microsoft.com
Avoid nasty name clash with associated data types ...
blob
|
commitdiff
|
diff to current
2008-11-08
Ian Lynagh
Remove some dead code now that __GLASGOW_HASKELL__...
blob
|
commitdiff
|
diff to current
2008-10-21
Ian Lynagh
Fix doc syntax
blob
|
commitdiff
|
diff to current
2008-09-23
simonpj@microsoft.com
Allow type families to use GADT syntax (and be GADTs)
blob
|
commitdiff
|
diff to current
2008-09-20
simonpj@microsoft.com
Comments only: replace ":=:" by "~" (notation for equal...
blob
|
commitdiff
|
diff to current
2008-08-27
simonpj@microsoft.com
Fix Trac #745: improve error recoevery for type signatures
blob
|
commitdiff
|
diff to current
2008-08-11
simonpj@microsoft.com
Fix Trac #2412: type synonyms and hs-boot recursion
blob
|
commitdiff
|
diff to current
2008-07-31
Max Bolingbroke
Split the Id related functions out from Var into Id...
blob
|
commitdiff
|
diff to current
2008-07-14
Manuel M T Chakravarty
Fix check of rhs of type family instances (#2157)
blob
|
commitdiff
|
diff to current
2008-06-23
Ian Lynagh
Fix the build with GHC 6.4
blob
|
commitdiff
|
diff to current
2008-06-06
Ian Lynagh
Fix warnings in TcTyClsDecls
blob
|
commitdiff
|
diff to current
2008-06-06
simonpj@microsoft.com
Fix Trac #2334: validity checking for type families
blob
|
commitdiff
|
diff to current
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TcTyClsDecls
blob
|
commitdiff
|
diff to current
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
blob
|
commitdiff
|
diff to current
2008-03-06
simonpj@microsoft.com
Don't expose the unfolding of dictionary selectors...
blob
|
commitdiff
|
diff to current
2008-02-27
simonpj@microsoft.com
Fix Trac #2126: re-order tests (easy)
blob
|
commitdiff
|
diff to current
2008-02-22
simonpj@microsoft.com
Improve error messages from type-checking data constructors
blob
|
commitdiff
|
diff to current
2008-01-17
Twan van Laarhoven
Monadify typecheck/TcTyClsDecls: use return and standar...
blob
|
commitdiff
|
diff to current
2008-01-07
simonpj@microsoft.com
Add -XImpredicativeTypes, and tighten up type-validity...
blob
|
commitdiff
|
diff to current
2007-11-16
simonpj@microsoft.com
Wibble to fix Trac #1901 (shorten messsage slightly)
blob
|
commitdiff
|
diff to current
2007-11-16
simonpj@microsoft.com
FIX Trac #1901: check no existential context in H98...
blob
|
commitdiff
|
diff to current
2007-11-02
simonpj@microsoft.com
Refactor error recovery slightly
blob
|
commitdiff
|
diff to current
2007-10-10
Manuel M T Chakravarty
Slightly improved comments in TcTyClsDecls
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-30
Manuel M T Chakravarty
Added decidability check for type instances
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-19
Manuel M T Chakravarty
Check for correct number of parameters in type instances
blob
|
commitdiff
|
diff to current
2007-08-19
Manuel M T Chakravarty
ATs inherit kind annotations from class partameters
blob
|
commitdiff
|
diff to current
2007-08-04
Ian Lynagh
Canonicalise flags in error message
blob
|
commitdiff
|
diff to current
2007-07-09
Ian Lynagh
Add flag -XConstrainedClassMethods
blob
|
commitdiff
|
diff to current
2007-07-09
Ian Lynagh
Just alpha-rename a variable
blob
|
commitdiff
|
diff to current
2007-07-09
Ian Lynagh
Remove unused binding
blob
|
commitdiff
|
diff to current
2007-07-08
Ian Lynagh
Implement -XFunctionalDependencies
blob
|
commitdiff
|
diff to current
2007-07-08
Ian Lynagh
Add -XMultiParamTypeClasses flag
blob
|
commitdiff
|
diff to current
2007-07-08
Ian Lynagh
Implement -XKindSignatures
blob
|
commitdiff
|
diff to current
2007-07-08
Ian Lynagh
Add -XEmptyDataDecls flag
blob
|
commitdiff
|
diff to current
2007-07-02
Ian Lynagh
Remove mapAccumL, mapAccumR, mapAccumB
blob
|
commitdiff
|
diff to current
2007-06-29
Manuel M T Chakravarty
Checking that type indexes contain no synonym family...
blob
|
commitdiff
|
diff to current
2007-06-29
Manuel M T Chakravarty
RHS of a type instance must be a tau type
blob
|
commitdiff
|
diff to current
2007-06-27
Manuel M T Chakravarty
Fix names of coercions in newtype instances
blob
|
commitdiff
|
diff to current
2007-06-21
Lemmih
Add several new record features
blob
|
commitdiff
|
diff to current
2007-06-20
simonpj@microsoft.com
Implement -X=GADTs and -X=RelaxedPolyRec
blob
|
commitdiff
|
diff to current
2007-05-30
simonpj@microsoft.com
Fix bogus check for strictness in newtypes
blob
|
commitdiff
|
diff to current
2007-05-30
simonpj@microsoft.com
Reject newtypes with strictness annotations; fixes...
blob
|
commitdiff
|
diff to current
2007-05-14
Manuel M T Chakravarty
-findexed-types -> -ftype-families
blob
|
commitdiff
|
diff to current
2007-05-11
Manuel M T Chakravarty
Remove the distinction between data and newtype families
blob
|
commitdiff
|
diff to current
2007-05-11
Simon Marlow
Store a SrcSpan instead of a SrcLoc inside a Name
blob
|
commitdiff
|
diff to current
2007-05-04
Ian Lynagh
Panic properly if wrongKindOfFamily is given an unexpec...
blob
|
commitdiff
|
diff to current
2007-04-25
Manuel M T Chakravarty
Generating synonym instance representation tycons
blob
|
commitdiff
|
diff to current
2007-04-22
simonpj@microsoft.com
Fixes to datacon wrappers for indexed data types
blob
|
commitdiff
|
diff to current
2007-03-14
simonpj@microsoft.com
Improve error messages slightly, saying "a1...an" inste...
blob
|
commitdiff
|
diff to current
2007-02-23
simonpj@microsoft.com
Tidy up typechecking for newtypes
blob
|
commitdiff
|
diff to current
2007-02-23
Manuel M T Chakravarty
Moved argument position info of ATs into tycon rhs...
blob
|
commitdiff
|
diff to current
2007-02-21
simonpj@microsoft.com
Allow GADT syntax for newtypes
blob
|
commitdiff
|
diff to current
2007-01-05
Manuel M T Chakravarty
HsSyn clean up for indexed types
blob
|
commitdiff
|
diff to current
2007-01-03
simonpj@microsoft.com
Be more relaxed about reporting ambiguous class methods
blob
|
commitdiff
|
diff to current
2006-10-22
Manuel M T Chakravarty
Improve error messages for indexed types
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-06
simonpj@microsoft.com
Fix up the typechecking of interface files during ...
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-10-04
simonpj@microsoft.com
Improve unboxing of strict fields
blob
|
commitdiff
|
diff to current
2006-10-04
simonpj@microsoft.com
Tidy tyvar OccNames in TcTyClDecl
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Fix import list of TcTyClsDecls after merge
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
Use smart lookup for tycons
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Option -findexed-types
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Get of fam inst index in ifaces
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
ATs are now implicitTyThings
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Straightened out implicit coercions for indexed types
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Fixed two bugs concerning fanilies
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Check category of type instances and some newtype famil...
blob
|
commitdiff
|
diff to current
next