projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Comments only
[ghc-hetmet.git]
/
compiler
/
typecheck
/
2008-12-05
simonpj@microsoft.com
Completely new treatment of INLINE pragmas (big patch)
tree
|
commitdiff
2008-08-14
dias@eecs.harvard.edu
Merging in the new codegen branch
tree
|
commitdiff
2008-11-25
simonpj@microsoft.com
Fix Trac #2799: TcType.isOverloadedTy
tree
|
commitdiff
2008-11-08
Ian Lynagh
Remove some dead code now that __GLASGOW_HASKELL__...
tree
|
commitdiff
2008-11-07
Clemens Fruhwirth
Replace couple of fromJust with expectJust
tree
|
commitdiff
2008-10-31
Thomas Schilling
Remove dead code.
tree
|
commitdiff
2008-11-03
simonpj@microsoft.com
Fix desugaring of record update (fixes Trac #2735)
tree
|
commitdiff
2008-10-31
Thomas Schilling
Quickfix for warning.
tree
|
commitdiff
2008-10-30
simonpj@microsoft.com
Improve error reporting for non-rigid GADT matches
tree
|
commitdiff
2008-10-30
simonpj@microsoft.com
Add (a) CoreM monad, (b) new Annotations feature
tree
|
commitdiff
2008-10-29
simonpj@microsoft.com
Fix tcrun031: yet more tidying up in TcDeriv
tree
|
commitdiff
2008-10-28
simonpj@microsoft.com
Mostly-fix Trac #2595: updates for existentials
tree
|
commitdiff
2008-10-28
simonpj@microsoft.com
Fix Trac #2723: keep track of record field names in...
tree
|
commitdiff
2008-10-28
simonpj@microsoft.com
Remove dead code
tree
|
commitdiff
2008-10-27
simonpj@microsoft.com
Fix Trac #2713: refactor and tidy up renaming of fixity...
tree
|
commitdiff
2008-10-25
simonpj@microsoft.com
Fix Trac #2701: make deriving check better for unlifted...
tree
|
commitdiff
2008-10-22
simonpj@microsoft.com
Fix Trac #2714 (a minor wibble)
tree
|
commitdiff
2008-10-21
Manuel M T Chakravarty
Reject programs with superclass equalities for now
tree
|
commitdiff
2008-10-21
Ian Lynagh
Fix doc syntax
tree
|
commitdiff
2008-10-21
simonpj@microsoft.com
Comments and parens only
tree
|
commitdiff
2008-10-21
simonpj@microsoft.com
Fix Trac #2668, and refactor TcDeriv
tree
|
commitdiff
2008-10-19
simonpj@microsoft.com
Comments to explain strict overlap checking for type...
tree
|
commitdiff
2008-09-23
simonpj@microsoft.com
Allow type families to use GADT syntax (and be GADTs)
tree
|
commitdiff
2008-09-20
simonpj@microsoft.com
Wibble to ungrammatical error message
tree
|
commitdiff
2008-09-20
simonpj@microsoft.com
Comments only: replace ":=:" by "~" (notation for equal...
tree
|
commitdiff
2008-10-21
Manuel M T Chakravarty
FIX #2693
tree
|
commitdiff
2008-10-21
Manuel M T Chakravarty
FIX #2688
tree
|
commitdiff
2008-10-15
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2008-10-09
Manuel M T Chakravarty
FIX #2639
tree
|
commitdiff
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
next