projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fixed missing '#include "HsVersions.h"'
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcSimplify.lhs
2007-06-29
simonpj@microsoft.com
Many comments about oclose, plus a fix for Trac #1456
blob
|
commitdiff
2007-06-29
simonpj@microsoft.com
Improve error message (Trac #1446)
blob
|
commitdiff
|
diff to current
2007-06-20
simonpj@microsoft.com
Improve the handling of deriving, in error cases
blob
|
commitdiff
|
diff to current
2007-06-20
simonpj@microsoft.com
More refactoring in TcSimplify
blob
|
commitdiff
|
diff to current
2007-06-19
simonpj@microsoft.com
Fix a bug in the handling of implication constraints...
blob
|
commitdiff
|
diff to current
2007-06-06
simonpj@microsoft.com
Don't suggest -fno-monomorphism-restriction if it's...
blob
|
commitdiff
|
diff to current
2007-05-30
simonpj@microsoft.com
Fix bug in tcSimplifyInfer (Trac #1382)
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-09
simonpj@microsoft.com
Tidy up the interface to lookupInstEnv
blob
|
commitdiff
|
diff to current
2007-05-07
simonpj@microsoft.com
FIX Trac #1329: spelling error
blob
|
commitdiff
|
diff to current
2007-04-26
Simon Marlow
Give a better error message when we try to print a...
blob
|
commitdiff
|
diff to current
2007-04-25
simonpj@microsoft.com
Add -fwarn-monomorphism-restriction (on by default...
blob
|
commitdiff
|
diff to current
2007-03-19
simonpj@microsoft.com
Use explict layout (fixes breakage when compiling TcSim...
blob
|
commitdiff
|
diff to current
2007-03-15
simonpj@microsoft.com
Make the type-defaulting in GHCi use () as the first...
blob
|
commitdiff
|
diff to current
2007-02-21
simonpj@microsoft.com
Fix a deriving bug, arising from recent refactoring
blob
|
commitdiff
|
diff to current
2007-02-21
simonpj@microsoft.com
Fix defaulting for overloaded strings
blob
|
commitdiff
|
diff to current
2007-02-19
simonpj@microsoft.com
Signature type variables must not be instantiated with...
blob
|
commitdiff
|
diff to current
2007-02-02
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2007-01-31
simonpj@microsoft.com
Slight refactoring for overloaded strings
blob
|
commitdiff
|
diff to current
2006-12-21
lennart@augustsson.net
Add support for overloaded string literals.
blob
|
commitdiff
|
diff to current
2007-01-09
simonpj@microsoft.com
Fix egregious bug in implication constraints
blob
|
commitdiff
|
diff to current
2007-01-03
simonpj@microsoft.com
Better error messages for deriving
blob
|
commitdiff
|
diff to current
2007-01-02
simonpj@microsoft.com
Big tidy-up of deriving code
blob
|
commitdiff
|
diff to current
2006-12-12
simonpj@microsoft.com
Fix up yesterdays commit to TcSimplify; fixes broken...
blob
|
commitdiff
|
diff to current
2006-12-11
simonpj@microsoft.com
Add comments about pruning implication constraints
blob
|
commitdiff
|
diff to current
2006-12-11
simonpj@microsoft.com
More refactoring of constraint simplification
blob
|
commitdiff
|
diff to current
2006-12-01
simonpj@microsoft.com
q
blob
|
commitdiff
|
diff to current
2006-11-24
simonpj@microsoft.com
Improve handling of implicit parameters
blob
|
commitdiff
|
diff to current
2006-11-24
simonpj@microsoft.com
Gather constraints in program order
blob
|
commitdiff
|
diff to current
2006-11-23
simonpj@microsoft.com
Simplify TcSimplify, by removing Free
blob
|
commitdiff
|
diff to current
2006-11-22
simonpj@microsoft.com
Retain simplifications of implication constraints
blob
|
commitdiff
|
diff to current
2006-11-10
simonpj@microsoft.com
Use implication constraints to improve type inference
blob
|
commitdiff
|
diff to current
2006-11-01
simonpj@microsoft.com
Default the kind of unconstrained meta-type variables...
blob
|
commitdiff
|
diff to current
2006-11-01
simonpj@microsoft.com
Fix error reporting for contexts during deriving (Trac...
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-09-20
bjorn@bringert.net
Merged stand-alone deriving with FC stuff.
blob
|
commitdiff
|
diff to current
2006-09-19
bjorn@bringert.net
Fixed source location and instance origin in stand...
blob
|
commitdiff
|
diff to current
2006-09-29
simonpj@microsoft.com
Remove Linear Implicit Parameters, and all their works
blob
|
commitdiff
|
diff to current
2006-09-29
simonpj@microsoft.com
Global renamings in HsSyn
blob
|
commitdiff
|
diff to current
2006-09-23
simonpj@microsoft.com
Add VarSet.disjointVarSet, and use it
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Complete the evidence generation for GADTs
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
some bug-fixes, newtype deriving might work now
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
blob
|
commitdiff
|
diff to current
2006-07-26
simonpj@microsoft.com
A somewhat subtle (FC-related) bug concerning the monom...
blob
|
commitdiff
|
diff to current
2006-09-18
simonpj@microsoft.com
Comments
blob
|
commitdiff
|
diff to current
2006-08-11
simonpj@microsoft.com
Two more error message indendations
blob
|
commitdiff
|
diff to current
2006-08-07
simonpj@microsoft.com
Add -fextended-default-rules and -fmono-pat-binds
blob
|
commitdiff
|
diff to current
2006-07-27
simonpj@microsoft.com
Make -fcontext-stack into a dynamic flag
blob
|
commitdiff
|
diff to current
2006-06-26
simonpj@microsoft.com
Improve consistency checking for derived instances
blob
|
commitdiff
|
diff to current
2006-05-19
simonpj@microsoft.com
Improved RULE lhs typechecking; less dictionary sharing
blob
|
commitdiff
|
diff to current
2006-04-07
Simon Marlow
Reorganisation of the source tree
blob
|
commitdiff
|
diff to current