projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Add NDP-related PrelNames
[ghc-hetmet.git]
/
compiler
/
typecheck
/
2007-04-25
Simon Marlow
Keep track of free type variables in the interactive...
tree
|
commitdiff
2007-04-24
Pepe Iborra
Some tyvars were being introduced in the environment...
tree
|
commitdiff
2007-04-25
Manuel M T Chakravarty
Generating synonym instance representation tycons
tree
|
commitdiff
2007-04-25
simonpj@microsoft.com
Add -fwarn-monomorphism-restriction (on by default...
tree
|
commitdiff
2007-04-25
simonpj@microsoft.com
Give the inferred type when warning of a missing type...
tree
|
commitdiff
2007-04-24
simonpj@microsoft.com
Fix bug in boxySplitTyConApp
tree
|
commitdiff
2007-04-22
simonpj@microsoft.com
Fixes to datacon wrappers for indexed data types
tree
|
commitdiff
2007-04-22
simonpj@microsoft.com
Fix corner case of useless constraint in SPECIALISE...
tree
|
commitdiff
2007-04-22
simonpj@microsoft.com
Warning police
tree
|
commitdiff
2007-04-20
Simon Marlow
remove unused imports
tree
|
commitdiff
2007-04-10
Tyson Whitehead
Distinguish between userError (i.e., deliberate failure...
tree
|
commitdiff
2007-04-17
Simon Marlow
Re-working of the breakpoint support
tree
|
commitdiff
2007-04-11
Simon Marlow
Rationalise GhcMode, HscTarget and GhcLink
tree
|
commitdiff
2007-03-22
simonpj@microsoft.com
Improve documentation of instances
tree
|
commitdiff
2007-03-21
simonpj@microsoft.com
Fix checkHiBootIface for instances declared in hs-boot...
tree
|
commitdiff
2007-03-21
simonpj@microsoft.com
Remove bogus export from TcSplice.lhs-boot
tree
|
commitdiff
2007-03-21
simonpj@microsoft.com
Wibble to GHCi part of TcRnDriver
tree
|
commitdiff
2007-03-21
simonpj@microsoft.com
Yet another wibble to checkHiBootIface; it's trickier...
tree
|
commitdiff
2007-03-20
simonpj@microsoft.com
Further wibbles to checkBootIface (fixed HEAD build)
tree
|
commitdiff
2007-03-19
simonpj@microsoft.com
Use explict layout (fixes breakage when compiling TcSim...
tree
|
commitdiff
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
next