projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Turn on warnings when validating
[ghc-hetmet.git]
/
compiler
/
typecheck
/
2009-05-13
simonpj@microsoft.com
Improve error reporting for kind errors (fix Trac ...
tree
|
commitdiff
2009-05-13
simonpj@microsoft.com
Fix Trac #3219: type of a record update
tree
|
commitdiff
2009-05-12
simonpj@microsoft.com
Improve error messages for type functions
tree
|
commitdiff
2009-04-27
Manuel M T Chakravarty
Equality constraint solver is now externally pure
tree
|
commitdiff
2009-04-24
Ian Lynagh
Do the second part of #2806: Disallow unlifted types...
tree
|
commitdiff
2009-04-24
Ian Lynagh
Tiny refactor
tree
|
commitdiff
2009-04-24
Ian Lynagh
Require a bang pattern when unlifted types are where...
tree
|
commitdiff
2009-04-23
simonpj@microsoft.com
Simplify the placeholder binding for naughty record...
tree
|
commitdiff
2009-04-23
simonpj@microsoft.com
Fix Trac #3176: intercept naughty record selectors
tree
|
commitdiff
2009-03-31
Ian Lynagh
Make some showSDoc's use OneLineMode rather than PageMode
tree
|
commitdiff
2009-03-30
simonpj@microsoft.com
Fix an nasty black hole, concerning computation of...
tree
|
commitdiff
2009-03-30
simonpj@microsoft.com
Add an extra print to -ddump-tc-trace
tree
|
commitdiff
2009-03-30
simonpj@microsoft.com
Remove dead code (dataConsStupidTheta)
tree
|
commitdiff
2009-03-26
Manuel M T Chakravarty
Template Haskell: support for kind annotations
tree
|
commitdiff
2009-03-25
Manuel M T Chakravarty
Template Haskell: make reify aware of type families
tree
|
commitdiff
2009-03-19
Manuel M T Chakravarty
Template Haskell support for equality constraints
tree
|
commitdiff
2009-03-18
simonpj@microsoft.com
Add the notion of "constructor-like" Ids for rule-matching
tree
|
commitdiff
2009-03-16
simonpj@microsoft.com
Reject foralls in constructor args in 'deriving', excep...
tree
|
commitdiff
2009-03-16
simonpj@microsoft.com
Fix Trac #3092
tree
|
commitdiff
2009-03-15
Manuel M T Chakravarty
Ensure the orientation of var-var equalities is correct...
tree
|
commitdiff
2009-03-13
simonpj@microsoft.com
Fix Trac #3087: derived Data now defines dataCast1/2
tree
|
commitdiff
2009-03-05
simonpj@microsoft.com
Make -fdicts-cheap cope with implication constraints
tree
|
commitdiff
2009-03-05
simonpj@microsoft.com
Finally fix Trac #3066
tree
|
commitdiff
2009-03-04
simonpj@microsoft.com
Layout only
tree
|
commitdiff
2009-03-04
simonpj@microsoft.com
Fix a long-standing latent bug (and the build): check...
tree
|
commitdiff
2009-03-03
simonpj@microsoft.com
Fix Trac #3066: checking argument types in foreign...
tree
|
commitdiff
2009-03-03
simonpj@microsoft.com
Fix Trac #3057 in deriving Functor
tree
|
commitdiff
2009-03-03
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2009-02-23
simonpj@microsoft.com
Use 'nonIOok' instead of 'True'; cosmetics only
tree
|
commitdiff
2009-02-13
Ian Lynagh
Put RelaxedPolyRec in the cabal file rather than a...
tree
|
commitdiff
2009-02-11
simonpj@microsoft.com
Fix Trac #3017: ensure that we quantify over enough...
tree
|
commitdiff
2009-02-11
simonpj@microsoft.com
Turn another ASSERT into a WARN (temproraily)
tree
|
commitdiff
2009-02-06
Ian Lynagh
Fix building with GHC 6.8
tree
|
commitdiff
2009-02-04
simonpj@microsoft.com
Check -XGADTs in (a) type family decls (b) pattern...
tree
|
commitdiff
2009-02-04
simonpj@microsoft.com
Improve error reports for kind checking (Trac #2994)
tree
|
commitdiff
2009-02-04
simonpj@microsoft.com
Further wibbles to 'deriving' for functor-like things
tree
|
commitdiff
2009-02-04
simonpj@microsoft.com
Fix Trac #2999: change an ASSERT to a WARN
tree
|
commitdiff
2009-01-15
simonpj@microsoft.com
Robustify lookupFamInstEnv, plus some refactoring
tree
|
commitdiff
2009-01-14
simonpj@microsoft.com
Robustify lookupFamInstEnv
tree
|
commitdiff
2009-02-02
simonpj@microsoft.com
Add the ability to derive instances of Functor, Foldabl...
tree
|
commitdiff
2009-01-30
simonpj@microsoft.com
Fix Trac #2985: generating superclasses and recursive...
tree
|
commitdiff
2009-01-30
simonpj@microsoft.com
White space only
tree
|
commitdiff
2009-01-14
Ian Lynagh
Remove redundant import; spotted by Thorkil Naur
tree
|
commitdiff
2009-01-13
simonpj@microsoft.com
Rename isIdentityCoercion to isIdentityCoI; add Coercio...
tree
|
commitdiff
2009-01-13
simonpj@microsoft.com
Spelling in comment only
tree
|
commitdiff
2009-01-13
simonpj@microsoft.com
Improve error messages slightly
tree
|
commitdiff
2009-01-02
simonpj@microsoft.com
Make record selectors into ordinary functions
tree
|
commitdiff
2008-12-31
simonpj@microsoft.com
Fix Trac #2721: reject newtype deriving if the class...
tree
|
commitdiff
2008-12-31
simonpj@microsoft.com
-XImpredicativeTypes implies -XRankNTypes, and improve...
tree
|
commitdiff
2008-12-31
simonpj@microsoft.com
Fix Trac #2856: make deriving work for type families
tree
|
commitdiff
2008-12-31
simonpj@microsoft.com
White space and spelling in comments
tree
|
commitdiff
2008-12-31
simonpj@microsoft.com
Improve error reporting for 'deriving'
tree
|
commitdiff
2008-12-30
simonpj@microsoft.com
Improve error message in deriving (fix Trac #2851)
tree
|
commitdiff
2008-12-30
simonpj@microsoft.com
Avoid nasty name clash with associated data types ...
tree
|
commitdiff
2008-12-30
simonpj@microsoft.com
Refactor RnEnv to fix Trac #2901
tree
|
commitdiff
2008-12-30
simonpj@microsoft.com
Add quotes to error message
tree
|
commitdiff
2008-12-11
Thomas Schilling
Comments only. Haddockify parts of TcRnTypes.
tree
|
commitdiff
2008-12-16
Simon Marlow
Rollback INLINE patches
tree
|
commitdiff
2008-12-05
simonpj@microsoft.com
Completely new treatment of INLINE pragmas (big patch)
tree
|
commitdiff
2008-08-14
dias@eecs.harvard.edu
Merging in the new codegen branch
tree
|
commitdiff
2008-11-25
simonpj@microsoft.com
Fix Trac #2799: TcType.isOverloadedTy
tree
|
commitdiff
2008-11-08
Ian Lynagh
Remove some dead code now that __GLASGOW_HASKELL__...
tree
|
commitdiff
2008-11-07
Clemens Fruhwirth
Replace couple of fromJust with expectJust
tree
|
commitdiff
2008-10-31
Thomas Schilling
Remove dead code.
tree
|
commitdiff
2008-11-03
simonpj@microsoft.com
Fix desugaring of record update (fixes Trac #2735)
tree
|
commitdiff
2008-10-31
Thomas Schilling
Quickfix for warning.
tree
|
commitdiff
2008-10-30
simonpj@microsoft.com
Improve error reporting for non-rigid GADT matches
tree
|
commitdiff
2008-10-30
simonpj@microsoft.com
Add (a) CoreM monad, (b) new Annotations feature
tree
|
commitdiff
2008-10-29
simonpj@microsoft.com
Fix tcrun031: yet more tidying up in TcDeriv
tree
|
commitdiff
2008-10-28
simonpj@microsoft.com
Mostly-fix Trac #2595: updates for existentials
tree
|
commitdiff
2008-10-28
simonpj@microsoft.com
Fix Trac #2723: keep track of record field names in...
tree
|
commitdiff
2008-10-28
simonpj@microsoft.com
Remove dead code
tree
|
commitdiff
2008-10-27
simonpj@microsoft.com
Fix Trac #2713: refactor and tidy up renaming of fixity...
tree
|
commitdiff
2008-10-25
simonpj@microsoft.com
Fix Trac #2701: make deriving check better for unlifted...
tree
|
commitdiff
2008-10-22
simonpj@microsoft.com
Fix Trac #2714 (a minor wibble)
tree
|
commitdiff
2008-10-21
Manuel M T Chakravarty
Reject programs with superclass equalities for now
tree
|
commitdiff
2008-10-21
Ian Lynagh
Fix doc syntax
tree
|
commitdiff
2008-10-21
simonpj@microsoft.com
Comments and parens only
tree
|
commitdiff
2008-10-21
simonpj@microsoft.com
Fix Trac #2668, and refactor TcDeriv
tree
|
commitdiff
2008-10-19
simonpj@microsoft.com
Comments to explain strict overlap checking for type...
tree
|
commitdiff
2008-09-23
simonpj@microsoft.com
Allow type families to use GADT syntax (and be GADTs)
tree
|
commitdiff
2008-09-20
simonpj@microsoft.com
Wibble to ungrammatical error message
tree
|
commitdiff
2008-09-20
simonpj@microsoft.com
Comments only: replace ":=:" by "~" (notation for equal...
tree
|
commitdiff
2008-10-21
Manuel M T Chakravarty
FIX #2693
tree
|
commitdiff
2008-10-21
Manuel M T Chakravarty
FIX #2688
tree
|
commitdiff
2008-10-15
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2008-10-09
Manuel M T Chakravarty
FIX #2639
tree
|
commitdiff
2008-10-03
simonpj@microsoft.com
Fix warnings
tree
|
commitdiff
2008-10-03
Ian Lynagh
Use a proper exception for IOEnvFailure, not just a...
tree
|
commitdiff
2008-10-03
Ian Lynagh
Use an extensible-exceptions package when bootstrapping
tree
|
commitdiff
2008-10-03
simonpj@microsoft.com
Expunge ThFake, cure Trac #2632
tree
|
commitdiff
2008-10-03
simonpj@microsoft.com
Add ASSERTs to all calls of nameModule
tree
|
commitdiff
2008-10-02
Manuel M T Chakravarty
Clean up some comments
tree
|
commitdiff
2008-10-02
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2008-10-01
Manuel M T Chakravarty
Proper error message for unsupported pattern signatures
tree
|
commitdiff
2008-10-01
Manuel M T Chakravarty
TFs: Fixed InstContextNorm (and simplification of IPs)
tree
|
commitdiff
2008-10-01
Manuel M T Chakravarty
TcSimplify.reduceImplication: clean up
tree
|
commitdiff
2008-10-01
Manuel M T Chakravarty
Make sure to zonk the kind of coercion variables
tree
|
commitdiff
2008-09-30
Manuel M T Chakravarty
Type families: need to instantiate flexible skolems...
tree
|
commitdiff
2008-09-29
Manuel M T Chakravarty
Fix warnings
tree
|
commitdiff
next