projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Acutally, wild-card variables *can* have occurrences
[ghc-hetmet.git]
/
compiler
/
typecheck
/
FamInst.lhs
2010-09-14
Ian Lynagh
Remove (most of) the FiniteMap wrapper
blob
|
commitdiff
2010-09-13
Ian Lynagh
Fix build with 6.10
blob
|
commitdiff
|
diff to current
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
blob
|
commitdiff
|
diff to current
2010-03-20
Ian Lynagh
Remove LazyUniqFM; fixes trac #3880
blob
|
commitdiff
|
diff to current
2009-07-24
Ian Lynagh
Remove GHC's haskell98 dependency
blob
|
commitdiff
|
diff to current
2009-07-07
Manuel M T Chakravarty
FIX #2677
blob
|
commitdiff
|
diff to current
2009-01-15
simonpj@microsoft.com
Robustify lookupFamInstEnv, plus some refactoring
blob
|
commitdiff
|
diff to current
2008-11-07
Clemens Fruhwirth
Replace couple of fromJust with expectJust
blob
|
commitdiff
|
diff to current
2008-10-19
simonpj@microsoft.com
Comments to explain strict overlap checking for type...
blob
|
commitdiff
|
diff to current
2008-07-20
Thomas Schilling
Fix Haddock errors.
blob
|
commitdiff
|
diff to current
2008-05-06
Ian Lynagh
Make FamInst warning-free
blob
|
commitdiff
|
diff to current
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in FamInst
blob
|
commitdiff
|
diff to current
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
blob
|
commitdiff
|
diff to current
2008-02-07
Ian Lynagh
Convert more UniqFM's back to LazyUniqFM's
blob
|
commitdiff
|
diff to current
2007-09-04
Ian Lynagh
Fix CodingStyle#Warnings URLs
blob
|
commitdiff
|
diff to current
2007-09-03
Ian Lynagh
Use OPTIONS rather than OPTIONS_GHC for pragmas
blob
|
commitdiff
|
diff to current
2007-09-01
Ian Lynagh
Add {-# OPTIONS_GHC -w #-} and some blurb to all compil...
blob
|
commitdiff
|
diff to current
2007-06-29
Manuel M T Chakravarty
Overlap check for type families
blob
|
commitdiff
|
diff to current
2007-05-14
Manuel M T Chakravarty
Revised signature of tcLookupFamInst and lookupFamInstEnv
blob
|
commitdiff
|
diff to current
2007-05-02
simonpj@microsoft.com
Comments, plus type sigs
blob
|
commitdiff
|
diff to current
2006-12-07
Manuel M T Chakravarty
Fix family instance consistency check for home package...
blob
|
commitdiff
|
diff to current
2006-11-10
simonpj@microsoft.com
Use implication constraints to improve type inference
blob
|
commitdiff
|
diff to current
2006-10-18
Manuel M T Chakravarty
Cross-module consistency check for family instances
blob
|
commitdiff
|
diff to current
2006-10-12
Manuel M T Chakravarty
Overlap check for family instances def'd in current...
blob
|
commitdiff
|
diff to current
2006-10-11
Simon Marlow
Module header tidyup, phase 1
blob
|
commitdiff
|
diff to current
2006-10-10
Manuel M T Chakravarty
Rough matches for family instances
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Adding FamInstEnv & FamInst modules
blob
|
commitdiff
|
diff to current