projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Update copyright date in teh users guide
[ghc-hetmet.git]
/
compiler
/
typecheck
/
2007-03-16
simonpj@microsoft.com
Improve error messages for 'deriving' clauses
tree
|
commitdiff
2007-03-16
simonpj@microsoft.com
Refactor TcRnDriver, and check exports on hi-boot files
tree
|
commitdiff
2007-03-15
simonpj@microsoft.com
Make the type-defaulting in GHCi use () as the first...
tree
|
commitdiff
2007-03-14
simonpj@microsoft.com
Wibble to type-error-message improvement
tree
|
commitdiff
2007-03-14
simonpj@microsoft.com
Improve error messages slightly, saying "a1...an" inste...
tree
|
commitdiff
2007-03-14
simonpj@microsoft.com
Improve typechecker error messages; see Trac #1221
tree
|
commitdiff
2007-03-06
simonpj@microsoft.com
Simple fix for Trac #1199 (pls merge to branch)
tree
|
commitdiff
2007-02-28
Simon Marlow
Remove vectored returns.
tree
|
commitdiff
2007-02-23
simonpj@microsoft.com
Tidy up typechecking for newtypes
tree
|
commitdiff
2007-02-23
Manuel M T Chakravarty
Moved argument position info of ATs into tycon rhs...
tree
|
commitdiff
2007-02-19
Pepe Iborra
Removed unnecessary code
tree
|
commitdiff
2007-02-21
simonpj@microsoft.com
Allow GADT syntax for newtypes
tree
|
commitdiff
2007-02-21
simonpj@microsoft.com
Fix a deriving bug, arising from recent refactoring
tree
|
commitdiff
2007-02-21
simonpj@microsoft.com
Fix defaulting for overloaded strings
tree
|
commitdiff
2007-02-19
simonpj@microsoft.com
Signature type variables must not be instantiated with...
tree
|
commitdiff
2007-02-07
simonpj@microsoft.com
Spelling fix
tree
|
commitdiff
2007-02-06
simonpj@microsoft.com
Check for escape when unifying forall-types
tree
|
commitdiff
2007-02-04
lennart@augustsson.net
Make HsRecordBinds a data type instead of a synonym.
tree
|
commitdiff
2007-02-04
lennart@augustsson.net
Fix a comment typo.
tree
|
commitdiff
2007-02-04
lennart@augustsson.net
Fix a typo.
tree
|
commitdiff
2007-02-02
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2007-01-31
simonpj@microsoft.com
Slight refactoring for overloaded strings
tree
|
commitdiff
2006-12-21
lennart@augustsson.net
Add support for overloaded string literals.
tree
|
commitdiff
2007-01-11
simonpj@microsoft.com
Avoid duplicate defns of 'main' in module Main
tree
|
commitdiff
2007-01-11
simonpj@microsoft.com
Make the LiberateCase transformation understand associa...
tree
|
commitdiff
2007-01-11
simonpj@microsoft.com
Comments
tree
|
commitdiff
2007-01-11
simonpj@microsoft.com
Add the function TypeRep.pprTypeApp, and use it
tree
|
commitdiff
2007-01-10
Manuel M T Chakravarty
checkTauTvUpdate: take synonym families into account
tree
|
commitdiff
2007-01-09
Manuel M T Chakravarty
Handle synonym families in check_tau_type
tree
|
commitdiff
2007-01-09
simonpj@microsoft.com
Preserve rigidity for GADTs when typechecking explicit...
tree
|
commitdiff
2007-01-09
simonpj@microsoft.com
Fix egregious bug in implication constraints
tree
|
commitdiff
2007-01-05
Manuel M T Chakravarty
HsSyn clean up for indexed types
tree
|
commitdiff
2007-01-04
Manuel M T Chakravarty
Fix and improve deriving for indexed data types
tree
|
commitdiff
2007-01-03
simonpj@microsoft.com
Be more relaxed about reporting ambiguous class methods
tree
|
commitdiff
2007-01-03
simonpj@microsoft.com
Fix stupid error in rehashing TcRnDriver (fixes TH...
tree
|
commitdiff
2007-01-03
simonpj@microsoft.com
Fix several bugs related to finding free variables
tree
|
commitdiff
2007-01-03
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2007-01-03
simonpj@microsoft.com
Make warnings come out in deterministic order
tree
|
commitdiff
2007-01-03
simonpj@microsoft.com
Better error messages for deriving
tree
|
commitdiff
2007-01-02
simonpj@microsoft.com
Big tidy-up of deriving code
tree
|
commitdiff
2006-12-29
Manuel M T Chakravarty
Make dicts for arbitrary type equalities
tree
|
commitdiff
2006-12-29
Manuel M T Chakravarty
Construction of EqPred dictionaries
tree
|
commitdiff
2006-12-29
davve@dtek.chalmers.se
Add missing case for documented types in the type desugarer
tree
|
commitdiff
2006-12-29
andy@galois.com
Adding a GENERATED pragma
tree
|
commitdiff
2006-12-28
Manuel M T Chakravarty
Parse and desugar equational constraints
tree
|
commitdiff
2006-12-21
Manuel M T Chakravarty
Add hook to fam inst consistency check to GHCi/--make
tree
|
commitdiff
2006-12-19
Manuel M T Chakravarty
Deriving for indexed newtypes
tree
|
commitdiff
2006-12-18
Manuel M T Chakravarty
Deriving for indexed data types
tree
|
commitdiff
2006-12-11
Pepe Iborra
Toggle whether the RTS gets build with debugger support...
tree
|
commitdiff
2006-12-11
Pepe Iborra
Adjust code from manual merges
tree
|
commitdiff
2006-12-10
Pepe Iborra
Prevent breakpoint instrumentation of spliced code
tree
|
commitdiff
2006-12-10
Pepe Iborra
Breakpoint code instrumentation
tree
|
commitdiff
2006-12-10
Pepe Iborra
The breakpoint primitive
tree
|
commitdiff
2006-12-10
Pepe Iborra
Playing with closures
tree
|
commitdiff
2006-12-13
simonpj@microsoft.com
Add left-to-right impredicative instantiation
tree
|
commitdiff
2006-12-12
simonpj@microsoft.com
Missed a stage-2 problem in the TcSimplify refactoring
tree
|
commitdiff
2006-12-12
simonpj@microsoft.com
Fix up yesterdays commit to TcSimplify; fixes broken...
tree
|
commitdiff
2006-12-11
simonpj@microsoft.com
Add comments about pruning implication constraints
tree
|
commitdiff
2006-12-11
simonpj@microsoft.com
More refactoring of constraint simplification
tree
|
commitdiff
2006-12-11
simonpj@microsoft.com
Improve origin of constraints in subsumption checking
tree
|
commitdiff
2006-12-11
simonpj@microsoft.com
Suggests -fglasgow-exts for contexts-differ-in-length...
tree
|
commitdiff
2006-12-11
simonpj@microsoft.com
Comments and layout only
tree
|
commitdiff
2006-12-11
simonpj@microsoft.com
Remove strange extra print (a temporary debug?)
tree
|
commitdiff
2006-12-07
Manuel M T Chakravarty
Fix family instance consistency check for home package...
tree
|
commitdiff
2006-12-01
simonpj@microsoft.com
q
tree
|
commitdiff
2006-11-24
simonpj@microsoft.com
Fix constraint handling for lazy patterns
tree
|
commitdiff
2006-11-24
simonpj@microsoft.com
Improve handling of implicit parameters
tree
|
commitdiff
2006-11-24
simonpj@microsoft.com
Gather constraints in program order
tree
|
commitdiff
2006-11-23
simonpj@microsoft.com
Simplify TcSimplify, by removing Free
tree
|
commitdiff
2006-11-22
simonpj@microsoft.com
Refactoring of where tcSimplifyTop happens
tree
|
commitdiff
2006-11-22
simonpj@microsoft.com
Retain simplifications of implication constraints
tree
|
commitdiff
2006-11-22
simonpj@microsoft.com
Improve error messages slightly
tree
|
commitdiff
2006-11-10
Samuel Bronson
Zap stray whitespace in lhs formatting
tree
|
commitdiff
2006-11-10
simonpj@microsoft.com
Use implication constraints to improve type inference
tree
|
commitdiff
2006-11-01
simonpj@microsoft.com
Major overhaul of the Simplifier
tree
|
commitdiff
2006-11-01
simonpj@microsoft.com
Trim imports
tree
|
commitdiff
2006-11-01
simonpj@microsoft.com
Default the kind of unconstrained meta-type variables...
tree
|
commitdiff
2006-11-01
simonpj@microsoft.com
Improve error message (push to 6.6 branch)
tree
|
commitdiff
2006-11-01
simonpj@microsoft.com
Fix error reporting for contexts during deriving (Trac...
tree
|
commitdiff
2006-10-24
andy@galois.com
Haskell Program Coverage
tree
|
commitdiff
2006-10-22
Manuel M T Chakravarty
Improve error messages for indexed types
tree
|
commitdiff
2006-10-20
Manuel M T Chakravarty
Fix processing of imports involving ATs with the new...
tree
|
commitdiff
2006-10-19
Manuel M T Chakravarty
Fix show-iface for family instances & add debug ppr...
tree
|
commitdiff
2006-10-18
Manuel M T Chakravarty
Cross-module consistency check for family instances
tree
|
commitdiff
2006-10-18
simonpj@microsoft.com
Add the primitive type Any, and use it for Dynamics
tree
|
commitdiff
2006-10-18
simonpj@microsoft.com
Minor refactoring
tree
|
commitdiff
2006-10-16
Manuel M T Chakravarty
Stage 2 fix to "Keep track of family instance modules"
tree
|
commitdiff
2006-10-16
Simon Marlow
fix non-DEBUG build (probably my fault, sorry)
tree
|
commitdiff
2006-10-13
simonpj@microsoft.com
Add assertion checks for mkCoVar/mkTyVar
tree
|
commitdiff
2006-10-13
simonpj@microsoft.com
Change type of TcGadt.refineType, plus consequences
tree
|
commitdiff
2006-10-13
simonpj@microsoft.com
More refactoring in RnNames
tree
|
commitdiff
2006-10-13
Manuel M T Chakravarty
Keep track of family instance modules
tree
|
commitdiff
2006-10-12
Manuel M T Chakravarty
Overlap check for family instances def'd in current...
tree
|
commitdiff
2006-10-11
simonpj@microsoft.com
Make Inst into a record type to ease subsequent changes
tree
|
commitdiff
2006-10-11
Simon Marlow
More import tidying and fixing the stage 2 build
tree
|
commitdiff
2006-10-11
Simon Marlow
Module header tidyup, phase 1
tree
|
commitdiff
2006-10-11
Simon Marlow
Interface file optimisation and removal of nameParent
tree
|
commitdiff
2006-10-10
simonpj@microsoft.com
Do not filter the type envt after each GHCi stmt
tree
|
commitdiff
2006-10-10
simonpj@microsoft.com
Fail more informatively when a global isn't in the...
tree
|
commitdiff
2006-10-10
Manuel M T Chakravarty
Rough matches for family instances
tree
|
commitdiff
next