projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add vectorisation environment transformers
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcExpr.lhs
2007-06-21
Lemmih
Add several new record features
blob
|
commitdiff
2007-06-06
simonpj@microsoft.com
FIX #1385: make sure tuple instances are loaded
blob
|
commitdiff
|
diff to current
2007-05-10
simonpj@microsoft.com
Dead code elimination
blob
|
commitdiff
|
diff to current
2007-05-02
simonpj@microsoft.com
Make records work properly with type families
blob
|
commitdiff
|
diff to current
2007-02-04
lennart@augustsson.net
Make HsRecordBinds a data type instead of a synonym.
blob
|
commitdiff
|
diff to current
2007-02-04
lennart@augustsson.net
Fix a typo.
blob
|
commitdiff
|
diff to current
2007-01-09
simonpj@microsoft.com
Preserve rigidity for GADTs when typechecking explicit...
blob
|
commitdiff
|
diff to current
2007-01-02
simonpj@microsoft.com
Big tidy-up of deriving code
blob
|
commitdiff
|
diff to current
2006-12-29
andy@galois.com
Adding a GENERATED pragma
blob
|
commitdiff
|
diff to current
2006-12-13
simonpj@microsoft.com
Add left-to-right impredicative instantiation
blob
|
commitdiff
|
diff to current
2006-12-11
simonpj@microsoft.com
Comments and layout only
blob
|
commitdiff
|
diff to current
2006-10-11
Simon Marlow
More import tidying and fixing the stage 2 build
blob
|
commitdiff
|
diff to current
2006-10-03
simonpj@microsoft.com
Fix scoped type variables for expression type signatures
blob
|
commitdiff
|
diff to current
2006-09-29
simonpj@microsoft.com
Remove Linear Implicit Parameters, and all their works
blob
|
commitdiff
|
diff to current
2006-09-29
simonpj@microsoft.com
Global renamings in HsSyn
blob
|
commitdiff
|
diff to current
2006-09-23
simonpj@microsoft.com
Fix origin for addDataConStupidTheta
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
SPJ's fix to resolve conflict in instFun
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Adjust code from manual merges
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Fix a couple of stage-2 bogosities
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
fix some coercion kind representation things, extend...
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Complete the evidence generation for GADTs
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
blob
|
commitdiff
|
diff to current
2006-08-19
Ross Paterson
remove spurious commas in imports
blob
|
commitdiff
|
diff to current
2006-08-18
simonpj@microsoft.com
I don't thing we want to add a call-context here; it...
blob
|
commitdiff
|
diff to current
2006-08-16
simonpj@microsoft.com
Add ad-hoc typing checks for tagToEnum#
blob
|
commitdiff
|
diff to current
2006-08-04
simonpj@microsoft.com
Do pre-subsumption in the main subsumption check
blob
|
commitdiff
|
diff to current
2006-04-14
simonpj@microsoft.com
Recover gracefully from a Template Haskell programmers...
blob
|
commitdiff
|
diff to current
2006-04-07
Simon Marlow
Reorganisation of the source tree
blob
|
commitdiff
|
diff to current