projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove accidental trace
[ghc-hetmet.git]
/
compiler
/
typecheck
/
2011-05-04
Simon Peyton Jones
Print contraint step counts only with -dppr-debug
tree
|
commitdiff
2011-05-04
Simon Peyton Jones
Improve error message when a function is applied
tree
|
commitdiff
2011-05-04
Simon Peyton Jones
Final batch of monad-comprehension stuff
tree
|
commitdiff
2011-05-03
Simon Peyton Jones
More hacking on monad-comp
tree
|
commitdiff
2011-05-02
Simon Peyton Jones
More on monad-comp; an intermediate state, so don't...
tree
|
commitdiff
2011-05-02
Simon Peyton Jones
More hacking on monad-comp; now works
tree
|
commitdiff
2011-04-29
Simon Peyton Jones
Simon's hacking on monad-comp; incomplete
tree
|
commitdiff
2011-04-28
Simon Peyton Jones
Merge remote branch 'origin/master' into monad-comp
tree
|
commitdiff
2011-04-28
Simon Peyton Jones
Preliminary monad-comprehension patch (Trac #4370)
tree
|
commitdiff
2011-04-27
U-EUROPE\dimitris
Merge branch 'master' of darcs.haskell.org/ghc
tree
|
commitdiff
2011-04-27
U-EUROPE\dimitris
Solving one IP from another. This fixes #5120.
tree
|
commitdiff
2011-04-26
David Terei
Formatting fixes to TcForeign.lhs
tree
|
commitdiff
2011-04-26
David Terei
Formatting wibble
tree
|
commitdiff
2011-04-20
Simon Peyton Jones
Tidy up SigTv
tree
|
commitdiff
2011-04-20
Simon Peyton Jones
Fix Trac #5130: missed error report
tree
|
commitdiff
2011-04-20
Simon Peyton Jones
Dont print "Constraint solver steps = n" if -dno-debug...
tree
|
commitdiff
2011-04-19
simonpj
Slightly better tracing in the constraint solver
tree
|
commitdiff
2011-04-19
simonpj
Simplify treatement of pragmas slightly
tree
|
commitdiff
2011-04-19
simonpj
Fix Trac #5041: parse the trailing '#'
tree
|
commitdiff
2011-04-06
Edward Z. Yang
Revert "Suppress dumpTcRn when -dno-debug-output is...
tree
|
commitdiff
2011-04-05
Edward Z. Yang
Suppress dumpTcRn when -dno-debug-output is enabled.
tree
|
commitdiff
2011-04-03
Ian Lynagh
Fix build
tree
|
commitdiff
2011-04-03
Max Bolingbroke
Use tcRnImports rather than rnImports with GHCi "import...
tree
|
commitdiff
2011-03-31
dimitris@microsoft.com
Introducing a datatype for WorkLists that properly...
tree
|
commitdiff
2011-03-31
simonpj@microsoft.com
Fix Trac #5048: location on AbsBinds
tree
|
commitdiff
2011-03-31
simonpj@microsoft.com
Comments and variable naming only
tree
|
commitdiff
2011-03-31
simonpj@microsoft.com
Re-enable assertion now the new type checker is in
tree
|
commitdiff
2011-02-22
simonpj@microsoft.com
Restore SPECIALISE INSTANCE pragmas
tree
|
commitdiff
2011-02-21
simonpj@microsoft.com
Fix another fundep error (fixes Trac #4969)
tree
|
commitdiff
2011-02-20
Manuel M T Chakravarty
Added a VECTORISE pragma
tree
|
commitdiff
2011-02-17
simonpj@microsoft.com
Change typechecker-trace output slightly
tree
|
commitdiff
2011-02-17
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2011-02-17
simonpj@microsoft.com
Fix Trac #4966
tree
|
commitdiff
2011-02-17
simonpj@microsoft.com
Use "on the spot" solving for fundeps
tree
|
commitdiff
2011-02-14
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2011-02-11
simonpj@microsoft.com
New plan: push unsolved wanteds inwards
tree
|
commitdiff
2011-02-11
simonpj@microsoft.com
Remove unnecessary import, plus white space
tree
|
commitdiff
2011-02-11
simonpj@microsoft.com
Fix small but egregious error: using un-zonked constrai...
tree
|
commitdiff
2011-02-11
simonpj@microsoft.com
makeSolvedByInst is only called on wanteds
tree
|
commitdiff
2011-02-09
Ian Lynagh
Allow TH brackets to contain things of any kind
tree
|
commitdiff
2011-02-09
simonpj@microsoft.com
Simpify constraints from a TH bracket eagerly
tree
|
commitdiff
2011-02-09
simonpj@microsoft.com
Typo in comment
tree
|
commitdiff
2011-02-01
simonpj@microsoft.com
Fix type checker error message
tree
|
commitdiff
2011-01-26
simonpj@microsoft.com
Look through type synonyms when computing orphans
tree
|
commitdiff
2011-01-25
simonpj@microsoft.com
Fix Trac #4917: try a bit harder to unify on-the-fly
tree
|
commitdiff
2011-01-13
simonpj@microsoft.com
Make Template Haskell classInstances function return...
tree
|
commitdiff
2011-01-13
simonpj@microsoft.com
White space only
tree
|
commitdiff
2011-01-12
simonpj@microsoft.com
Major refactoring of the type inference engine
tree
|
commitdiff
2011-01-10
simonpj@microsoft.com
Do dependency analysis when kind-checking type declarations
tree
|
commitdiff
2010-12-24
simonpj@microsoft.com
Fix Trac #4525: report type errors in terms of the...
tree
|
commitdiff
2010-12-22
simonpj@microsoft.com
Implement fuzzy matching for the renamer
tree
|
commitdiff
2010-12-22
simonpj@microsoft.com
Tidy up rebindable syntax for MDo
tree
|
commitdiff
2010-12-22
simonpj@microsoft.com
Make mkDFunUnfolding more robust
tree
|
commitdiff
2010-12-21
simonpj@microsoft.com
Single-method classes are implemented with a newtype
tree
|
commitdiff
2010-11-01
simonpj@microsoft.com
For single-method classes use newtypes
tree
|
commitdiff
2010-12-18
Ian Lynagh
Implement GADTSyntax extension
tree
|
commitdiff
2010-12-15
simonpj@microsoft.com
Fix a bug in functorLikeTraverse, which was giving...
tree
|
commitdiff
2010-12-15
simonpj@microsoft.com
Improve printing for -ddump-deriv
tree
|
commitdiff
2010-12-14
simonpj@microsoft.com
Fix Trac #4841: behave right with TypeSynonymInstances...
tree
|
commitdiff
2010-12-14
simonpj@microsoft.com
Fix Trac #3731: more superclass subtlety (sigh)
tree
|
commitdiff
2010-12-14
simonpj@microsoft.com
Less verbose debug print
tree
|
commitdiff
2010-12-13
simonpj@microsoft.com
Fix recursive superclasses (again). Fixes Trac #4809.
tree
|
commitdiff
2010-12-10
dimitris@microsoft.com
Doing the smart canonicalization only if we are not...
tree
|
commitdiff
2010-12-09
dimitris@microsoft.com
Moved canonicalisation inside solveInteract
tree
|
commitdiff
2010-12-03
simonpj@microsoft.com
Fix up TcInstDcls
tree
|
commitdiff
2010-12-02
Simon Marlow
Fix a recomp bug: make classes/datatypes depend directl...
tree
|
commitdiff
2010-12-02
simonpj@microsoft.com
Re-jig simplifySuperClass (again)
tree
|
commitdiff
2010-12-02
simonpj@microsoft.com
A little refactoring (remove redundant argument passed...
tree
|
commitdiff
2010-12-02
simonpj@microsoft.com
Make rebindable if-then-else a little more permissive
tree
|
commitdiff
2010-12-02
simonpj@microsoft.com
Improve error message (Trac #4799)
tree
|
commitdiff
2010-11-01
simonpj@microsoft.com
White space only
tree
|
commitdiff
2010-11-24
Ian Lynagh
Don't mix implicit and explicit layout
tree
|
commitdiff
2010-11-18
simonpj@microsoft.com
Move the superclass generation to the canonicaliser
tree
|
commitdiff
2010-11-18
simonpj@microsoft.com
Omit bogus test for -XDeriveFunctor
tree
|
commitdiff
2010-11-18
simonpj@microsoft.com
Improve error message on advice from a user
tree
|
commitdiff
2010-11-17
simonpj@microsoft.com
Fix Trac #4498: bang-pattern bindings are monomorphic
tree
|
commitdiff
2010-11-16
simonpj@microsoft.com
Warn a bit less often about unlifted bindings.
tree
|
commitdiff
2010-11-15
simonpj@microsoft.com
Deriving Typeable changes
tree
|
commitdiff
2010-11-15
simonpj@microsoft.com
Ensure that instance overlap errors are report properly
tree
|
commitdiff
2010-11-15
simonpj@microsoft.com
Ensure that unification variables alloc'd during solvin...
tree
|
commitdiff
2010-11-05
simonpj@microsoft.com
Remove the now-unused constructor VarPatOut
tree
|
commitdiff
2010-11-05
simonpj@microsoft.com
Track change in isInlinePragma
tree
|
commitdiff
2010-11-12
simonpj@microsoft.com
A (final) re-engineering of the new typechecker
tree
|
commitdiff
2010-11-12
simonpj@microsoft.com
Allow the old [$foo| ... |] syntax for quasi-quotes
tree
|
commitdiff
2010-11-01
simonpj@microsoft.com
Improve error messages
tree
|
commitdiff
2010-10-27
Simon Marlow
Refactoring and tidyup of HscMain and related things...
tree
|
commitdiff
2010-10-27
simonpj@microsoft.com
Warn (not error) for SPECIALISE pragmas without INLINE
tree
|
commitdiff
2010-10-23
Ian Lynagh
Remove the need to explicitly flatten the dynflags
tree
|
commitdiff
2010-10-22
dimitris@microsoft.com
Optimised the representation of Inert Sets to use Maps...
tree
|
commitdiff
2010-10-22
simonpj@microsoft.com
Add rebindable syntax for if-then-else
tree
|
commitdiff
2010-10-21
Ian Lynagh
Switch more uniqFromSupply+splitUniqSupply's to takeUni...
tree
|
commitdiff
2010-10-21
Ian Lynagh
Whitespace only
tree
|
commitdiff
2010-10-21
simonpj@microsoft.com
Tidy up RuntimeUnkSkols a bit more
tree
|
commitdiff
2010-10-21
simonpj@microsoft.com
Fix haddock markup
tree
|
commitdiff
2010-10-21
simonpj@microsoft.com
Tidy-up sweep, following the Great Skolemisation Simpli...
tree
|
commitdiff
2010-10-20
Ian Lynagh
Fix haddock markup
tree
|
commitdiff
2010-10-20
simonpj@microsoft.com
Comments and layout only
tree
|
commitdiff
2010-10-20
dimitris@microsoft.com
(1) More lenient kind checking, (2) Fixed orientation...
tree
|
commitdiff
2010-10-19
dimitris@microsoft.com
Midstream changes to deal with spontaneous solving...
tree
|
commitdiff
2010-10-20
simonpj@microsoft.com
Refactor, plus fix Trac #4418
tree
|
commitdiff
next