projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Comment explaining use of seq in DFMonad
[ghc-hetmet.git]
/
compiler
/
typecheck
/
2008-01-17
Isaac Dupree
lots of portability changes (#1405)
tree
|
commitdiff
2008-01-10
simonpj@microsoft.com
Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec
tree
|
commitdiff
2008-01-07
simonpj@microsoft.com
Make the treatment of equalities more uniform
tree
|
commitdiff
2008-01-07
simonpj@microsoft.com
Add -XImpredicativeTypes, and tighten up type-validity...
tree
|
commitdiff
2008-01-04
simonpj@microsoft.com
Do not consult -XGADTs flag when pattern matching on...
tree
|
commitdiff
2007-12-24
simonpj@microsoft.com
When complaining about non-rigid context, give suggesti...
tree
|
commitdiff
2007-12-21
simonpj@microsoft.com
Improve handling of newtypes (fixes Trac 1495)
tree
|
commitdiff
2007-12-20
simonpj@microsoft.com
Implement generalised list comprehensions
tree
|
commitdiff
2007-12-08
Manuel M T Chakravarty
Coercions from boxy splitters must be sym'ed in pattern...
tree
|
commitdiff
2007-12-07
Manuel M T Chakravarty
Properly keep track of whether normalising given or...
tree
|
commitdiff
2007-11-20
Manuel M T Chakravarty
TcPat.tcConPat uses equalities instead of GADT refinement
tree
|
commitdiff
2007-11-28
simonpj@microsoft.com
Improve pretty-printing for Insts
tree
|
commitdiff
2007-11-28
simonpj@microsoft.com
Reorganise TcSimplify (again); FIX Trac #1919
tree
|
commitdiff
2007-11-28
simonpj@microsoft.com
FIX Trac #1935: generate superclass constraints for...
tree
|
commitdiff
2007-11-22
Manuel M T Chakravarty
Properly ppr InstEqs in wanteds of implication constraints
tree
|
commitdiff
2007-11-21
simonpj@microsoft.com
Make rebindable do-notation behave as advertised
tree
|
commitdiff
2007-11-21
simonpj@microsoft.com
Fix Trac #1913: check data const for derived types...
tree
|
commitdiff
2007-11-20
simonpj@microsoft.com
FIX Trac #1825: standalone deriving Typeable
tree
|
commitdiff
2007-11-19
simonpj@microsoft.com
Improve the situation for Trac #959: civilised warning...
tree
|
commitdiff
2007-11-19
simonpj@microsoft.com
FIX Trac #1806: test for correct arity for datacon...
tree
|
commitdiff
2007-11-16
simonpj@microsoft.com
Wibble to fix Trac #1901 (shorten messsage slightly)
tree
|
commitdiff
2007-11-16
simonpj@microsoft.com
FIX Trac #1901: check no existential context in H98...
tree
|
commitdiff
2007-11-14
simonpj@microsoft.com
FIX Trac 1662: actually check for existentials in proc...
tree
|
commitdiff
2007-11-12
simonpj@microsoft.com
Comment re Trac #1220
tree
|
commitdiff
2007-11-06
simonpj@microsoft.com
Fix Trac #1813: generalise over *all* type variables...
tree
|
commitdiff
2007-11-06
simonpj@microsoft.com
Fix Trac #1814 (staging interaction in Template Haskell...
tree
|
commitdiff
2007-11-06
simonpj@microsoft.com
Improve error messages
tree
|
commitdiff
2007-11-06
Simon Marlow
GHC API: add checkAndLoadModule
tree
|
commitdiff
2007-11-05
simonpj@microsoft.com
Inline implication constraints
tree
|
commitdiff
2007-11-05
simonpj@microsoft.com
Comments about TH staging
tree
|
commitdiff
2007-11-02
simonpj@microsoft.com
Refactor error recovery slightly
tree
|
commitdiff
2007-11-01
simonpj@microsoft.com
Rejig the error messages a bit; fixes a minor bug
tree
|
commitdiff
2007-11-01
David Waern
Refactor Haddock options
tree
|
commitdiff
2007-10-29
simonpj@microsoft.com
Improve error-message output slightly
tree
|
commitdiff
2007-10-27
simonpj@microsoft.com
Make 'improvement' work properly in TcSimplify
tree
|
commitdiff
2007-10-27
simonpj@microsoft.com
An implication constraint can abstract over EqInsts
tree
|
commitdiff
2007-10-27
simonpj@microsoft.com
In an AbsBinds, the 'dicts' can include EqInsts
tree
|
commitdiff
2007-10-19
Manuel M T Chakravarty
Zonk quantified tyvars with skolems
tree
|
commitdiff
2007-10-18
Manuel M T Chakravarty
Fix typo that prevented zonking of rhs of EqInsts
tree
|
commitdiff
2007-10-18
Manuel M T Chakravarty
Don't barf on error message with non-tc tyvars
tree
|
commitdiff
2007-10-18
Manuel M T Chakravarty
Fix deferring on tyvars in TcUnify.subFunTys
tree
|
commitdiff
2007-10-17
Manuel M T Chakravarty
TcUnify.subFunTys must take type families into account
tree
|
commitdiff
2007-10-16
simonpj@microsoft.com
Fix #1662: do not simplify constraints for vanilla...
tree
|
commitdiff
2007-10-10
Dan Licata
View patterns, record wildcards, and record puns
tree
|
commitdiff
2007-10-15
Manuel M T Chakravarty
More docu for skolemOccurs
tree
|
commitdiff
2007-10-10
Manuel M T Chakravarty
Slightly improved comments in TcTyClsDecls
tree
|
commitdiff
2007-10-04
Manuel M T Chakravarty
TcTyFuns: remove some duplicate code
tree
|
commitdiff
2007-10-03
Manuel M T Chakravarty
TcTyFuns.eqInstToRewrite
tree
|
commitdiff
2007-10-12
simonpj@microsoft.com
Fix DoCon: Another try at getting extractResults right
tree
|
commitdiff
2007-10-11
simonpj@microsoft.com
Fix Trac #1680; check for unboxed tuples in TcType...
tree
|
commitdiff
2007-10-10
simonpj@microsoft.com
Fix Trac #1755; check for stage errors in TH quoted...
tree
|
commitdiff
2007-10-10
simonpj@microsoft.com
checkWellStaged: reverse comparsion (no change in seman...
tree
|
commitdiff
2007-10-10
simonpj@microsoft.com
Add traceTc in tcSimplifyDefault
tree
|
commitdiff
2007-10-10
simonpj@microsoft.com
Fix Trac #1678; be more careful about catching and...
tree
|
commitdiff
2007-10-10
simonpj@microsoft.com
FIX: tidy up TcSimplify following equality constraints...
tree
|
commitdiff
2007-09-29
Manuel M T Chakravarty
FIX #1729: Don't try to expand syn families with -XLibe...
tree
|
commitdiff
2007-09-29
Manuel M T Chakravarty
Some more traceTcs
tree
|
commitdiff
2007-09-28
Manuel M T Chakravarty
FIX: Make boxy splitters aware of type families
tree
|
commitdiff
2007-09-27
simonpj@microsoft.com
Comments and debug output only
tree
|
commitdiff
2007-09-19
simonpj@microsoft.com
Fix exponential-time behaviour with type synonyms;...
tree
|
commitdiff
2007-09-19
Manuel M T Chakravarty
FIX #1688: Givens in checkLoop are not that rigid after all
tree
|
commitdiff
2007-09-17
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2007-09-16
Manuel M T Chakravarty
FIX: TypeFamilies: should_compile/Simple12
tree
|
commitdiff
2007-09-15
Manuel M T Chakravarty
Overhaul of the rewrite rules
tree
|
commitdiff
2007-09-11
simonpj@microsoft.com
Comments, and remove export of checkAmbiguity
tree
|
commitdiff
2007-09-11
simonpj@microsoft.com
Minor refactoring: give an explicit name to the pretty...
tree
|
commitdiff
2007-09-12
Simon Marlow
update .hi-boot-6 to track .lhs-boot
tree
|
commitdiff
2007-09-12
Simon Marlow
update to track .lhs-boot file
tree
|
commitdiff
2007-09-10
Manuel M T Chakravarty
Cleaned up version of Tom's unflattened skolemOccurs
tree
|
commitdiff
2007-09-08
Ian Lynagh
Make various assertions work when !DEBUG
tree
|
commitdiff
2007-09-07
Manuel M T Chakravarty
Made TcTyFuns warning clean
tree
|
commitdiff
2007-09-06
Tom Schrijvers
fix for Simple9
tree
|
commitdiff
2007-09-07
Manuel M T Chakravarty
Improved error messages for higher-rank equality contexts
tree
|
commitdiff
2007-09-07
Manuel M T Chakravarty
FIX: Type families test Simple14
tree
|
commitdiff
2007-09-06
simonpj@microsoft.com
Fix zonking in mkExports
tree
|
commitdiff
2007-09-06
Manuel M T Chakravarty
Cleanup of equality rewriting and no swapInsts for...
tree
|
commitdiff
2007-09-06
Manuel M T Chakravarty
Remove EqInsts from addSCs to avoid -DDEBUG warnings
tree
|
commitdiff
2007-09-06
Manuel M T Chakravarty
EqInst related clean up
tree
|
commitdiff
2007-09-06
Manuel M T Chakravarty
Remove dead code in TcSimplify
tree
|
commitdiff
2007-09-06
Manuel M T Chakravarty
Fix -DDEBUG warning
tree
|
commitdiff
2007-09-05
Tom Schrijvers
also swap for variables in completion algorithm
tree
|
commitdiff
2007-09-06
Simon Marlow
FIX #1465, error messages could sometimes say things...
tree
|
commitdiff
2007-09-05
Manuel M T Chakravarty
FIX #1651: use family instances during interactive...
tree
|
commitdiff
2007-09-05
simonpj@microsoft.com
Refactor, improve, and document the deriving mechanism
tree
|
commitdiff
2007-09-04
Tom Schrijvers
bug fix in Decomp step of completion algorithm for...
tree
|
commitdiff
2007-09-04
Tom Schrijvers
fix of wanted equational class context
tree
|
commitdiff
2007-09-04
Ian Lynagh
Fix CodingStyle#Warnings URLs
tree
|
commitdiff
2007-09-04
Manuel M T Chakravarty
FIX #1651: unBox types when deferring unification
tree
|
commitdiff
2007-09-03
Manuel M T Chakravarty
Better error message for unsolvable equalities
tree
|
commitdiff
2007-09-03
Ian Lynagh
Use OPTIONS rather than OPTIONS_GHC for pragmas
tree
|
commitdiff
2007-09-01
Ian Lynagh
Add {-# OPTIONS_GHC -w #-} and some blurb to all compil...
tree
|
commitdiff
2007-08-30
Manuel M T Chakravarty
Added decidability check for type instances
tree
|
commitdiff
2007-08-28
Simon Marlow
FIX #1533: foreign exporing the same identifier multipl...
tree
|
commitdiff
2007-08-28
Manuel M T Chakravarty
Type checking for type synonym families
tree
|
commitdiff
2007-08-26
Ian Lynagh
Check that exported modules were actually imported...
tree
|
commitdiff
2007-08-22
simonpj@microsoft.com
Print infix function definitions correctly in HsSyn
tree
|
commitdiff
2007-08-19
Manuel M T Chakravarty
Check for correct number of parameters in type instances
tree
|
commitdiff
2007-08-19
Manuel M T Chakravarty
ATs inherit kind annotations from class partameters
tree
|
commitdiff
2007-08-10
Ian Lynagh
Change standalone deriving syntax and semantics; fixes...
tree
|
commitdiff
2007-08-10
simonpj@microsoft.com
Improve error message (part of Trac #1606)
tree
|
commitdiff
next