projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make ghctags compile again.
[ghc-hetmet.git]
/
compiler
/
typecheck
/
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
2008-09-29
Manuel M T Chakravarty
Type families: consider subst rules both way
tree
|
commitdiff
2008-09-26
pepe
Don't capture error calls in tryUser
tree
|
commitdiff
2008-09-25
Manuel M T Chakravarty
Type families: fixes in flattening & finalisation
tree
|
commitdiff
2008-09-25
Manuel M T Chakravarty
Type families: fix decomposition problem
tree
|
commitdiff
2008-09-20
simonpj@microsoft.com
Fix Trac #2597 (first bug): correct type checking for...
tree
|
commitdiff
2008-09-18
simonpj@microsoft.com
Fix Trac #1470: improve handling of recursive instances...
tree
|
commitdiff
2008-09-17
simonpj@microsoft.com
Improve error reporting for 'deriving' (Trac #2604)
tree
|
commitdiff
2008-09-18
Manuel M T Chakravarty
Type families: fixes in the new solver
tree
|
commitdiff
2008-09-17
Manuel M T Chakravarty
Type families: unify with family apps in checking mode
tree
|
commitdiff
2008-09-16
Manuel M T Chakravarty
Type families: bug fixes
tree
|
commitdiff
2008-09-16
Manuel M T Chakravarty
Keep sysnonyms folded in equalities if possible
tree
|
commitdiff
2008-09-16
Manuel M T Chakravarty
Type families: apply flattening coercions in the right...
tree
|
commitdiff
2008-09-15
Manuel M T Chakravarty
TcTyFuns: tidy warning
tree
|
commitdiff
2008-09-15
Manuel M T Chakravarty
Signature for Inst.isValidWantedEqInst
tree
|
commitdiff
2008-09-14
Manuel M T Chakravarty
Remember if RewriteInst is swapped & bug fixes
tree
|
commitdiff
2008-09-14
Manuel M T Chakravarty
Type families: fixed all non-termination in the testsuite
tree
|
commitdiff
2008-09-13
Manuel M T Chakravarty
Type families: completed the new equality solver
tree
|
commitdiff
2008-09-14
Thomas Schilling
Make typechecker top-level functions also return messag...
tree
|
commitdiff
2008-09-10
simonpj@microsoft.com
Check the *right* set of type variables for escape!
tree
|
commitdiff
2008-09-10
simonpj@microsoft.com
More refactoring of instance declarations (fixes Trac...
tree
|
commitdiff
2008-09-10
simonpj@microsoft.com
Fix Trac #2573; and explanatory comment
tree
|
commitdiff
2008-09-10
simonpj@microsoft.com
Fix the zonking of HsWrappers
tree
|
commitdiff
2008-09-10
simonpj@microsoft.com
Add newDictOcc, newDictOccs
tree
|
commitdiff
2008-09-10
simonpj@microsoft.com
Simplify the type signature for tcPolyBinds
tree
|
commitdiff
2008-09-07
Manuel M T Chakravarty
Type families: new algorithm to solve equalities
tree
|
commitdiff
2008-09-05
simonpj@microsoft.com
Fix up the instance-declaration re-engineering story
tree
|
commitdiff
2008-09-05
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2008-09-03
simonpj@microsoft.com
Major change in compilation of instance declarations...
tree
|
commitdiff
2008-08-28
simonpj@microsoft.com
Fix Trac #2529: derived read for prefix constructor...
tree
|
commitdiff
2008-08-27
simonpj@microsoft.com
Fix Trac #745: improve error recoevery for type signatures
tree
|
commitdiff
2008-08-27
simonpj@microsoft.com
Fix Trac #2538: better error messages when validating...
tree
|
commitdiff
2008-08-26
simonpj@microsoft.com
Fix flaggery for RULES (cf Trac #2497)
tree
|
commitdiff
2008-08-21
simonpj@microsoft.com
Fix Haddock comments in TcGenDeriv
tree
|
commitdiff
2008-08-20
simonpj@microsoft.com
Fix Trac #2456: eliminate duplicate bindings when deriving
tree
|
commitdiff
2008-08-12
simonpj@microsoft.com
Refactoring: define TcRnMonad.failWith and use it in...
tree
|
commitdiff
2008-08-11
simonpj@microsoft.com
Mostly fix Trac #2431: make empty case acceptable to...
tree
|
commitdiff
2008-08-11
simonpj@microsoft.com
Fix Trac #2412: type synonyms and hs-boot recursion
tree
|
commitdiff
2008-08-11
simonpj@microsoft.com
Fix Trac #2494: tcSimplifyRuleLhs
tree
|
commitdiff
2008-08-11
simonpj@microsoft.com
Make comparison on equalities work right (ie look at...
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Use DynFlags.getMainFun in TcRnDriver
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Minor refactorings in TcEnv
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Follow Digraph changes in TcTyDecls
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Make IOEnv a MonadUnique
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Follow TcEnv API addition in TcForeign
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Follow Digraph changes in TcBinds
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Follow OccName and MkCore changes in Inst
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Split the Id related functions out from Var into Id...
tree
|
commitdiff
2008-08-05
simonpj@microsoft.com
Fix Trac #2449
tree
|
commitdiff
2008-08-04
simonpj@microsoft.com
Fix the bug part of Trac #1930
tree
|
commitdiff
2008-08-04
simonpj@microsoft.com
Fix Trac #2433 (deriving Typeable)
tree
|
commitdiff
2008-08-01
simonpj@microsoft.com
Fix Trac #2478
tree
|
commitdiff
2008-07-31
Max Bolingbroke
Rename maybeTyConSingleCon to tyConSingleDataCon_maybe
tree
|
commitdiff
2008-07-31
Ian Lynagh
Fix the catching of "IOEnv failure" with extensible...
tree
|
commitdiff
2008-07-31
Ian Lynagh
Follow changes in the base library
tree
|
commitdiff
2008-07-30
Ian Lynagh
Follow extensible exception changes
tree
|
commitdiff
2008-07-21
Ian Lynagh
Fixes for haddock 0.8
tree
|
commitdiff
2008-07-20
Thomas Schilling
Fix Haddock errors.
tree
|
commitdiff
2008-07-20
Ian Lynagh
Add a WARNING pragma
tree
|
commitdiff
2008-07-15
Manuel M T Chakravarty
Fix for 1st half of #2203
Before_cabalised-GHC
tree
|
commitdiff
2008-07-14
Manuel M T Chakravarty
Fix check of rhs of type family instances (#2157)
tree
|
commitdiff
2008-07-13
Ian Lynagh
Fix some build problems when GHCI is not definde
tree
|
commitdiff
2008-07-12
Ian Lynagh
Add PostfixOperators flag for (e op) postfix operators...
tree
|
commitdiff
2008-07-09
Simon Marlow
add -fwarn-dodgy-foreign-imports (see #1357)
tree
|
commitdiff
2008-07-08
Ian Lynagh
Remove all .hi-boot-6 files
tree
|
commitdiff
2008-07-07
simonpj@microsoft.com
Fix Trac #2414: occurrs check was missed
tree
|
commitdiff
2008-07-07
simonpj@microsoft.com
White space only
tree
|
commitdiff
2008-07-01
simonpj@microsoft.com
Several fixes to 'deriving' including Trac #2378
tree
|
commitdiff
2008-06-25
simonpj@microsoft.com
Fix Trac #2394: test for non-algebraic types in standal...
tree
|
commitdiff
2008-06-23
Ian Lynagh
Fix the build with GHC 6.4
tree
|
commitdiff
2008-06-16
Ian Lynagh
Tweak a comment to talk about UnboxedTuples rather...
tree
|
commitdiff
2008-06-16
Ian Lynagh
Suggest -XRelaxedPolyRec rather than -fglasgow-exts...
tree
|
commitdiff
2008-06-16
Ian Lynagh
More commandline flag improvements
tree
|
commitdiff
2008-06-10
Ian Lynagh
Fix warnings in TcPat
tree
|
commitdiff
2008-06-10
Ian Lynagh
Fix warnings in TcEnv
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcRnTypes
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcTyClsDecls
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcHsType
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcSimplify
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcRules
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcInstDcls
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcMType
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcForeign
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix warnings in TcClassDcl
tree
|
commitdiff
2008-06-06
Ian Lynagh
Fix a bug in eqPatType
tree
|
commitdiff
2008-06-06
simonpj@microsoft.com
Fix Trac #2334: validity checking for type families
tree
|
commitdiff
2008-06-05
simonpj@microsoft.com
Vital follow-up to fix of Trac #2045
tree
|
commitdiff
2008-06-05
simonpj@microsoft.com
Fix Trac #2045: use big-tuple machiney for implication...
tree
|
commitdiff
next