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
/
TcExpr.lhs
2010-10-22
simonpj@microsoft.com
Add rebindable syntax for if-then-else
blob
|
commitdiff
2010-10-21
simonpj@microsoft.com
Tidy-up sweep, following the Great Skolemisation Simpli...
blob
|
commitdiff
|
diff to current
2010-09-18
Ian Lynagh
Add separate functions for querying DynFlag and Extensi...
blob
|
commitdiff
|
diff to current
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
blob
|
commitdiff
|
diff to current
2010-05-06
simonpj@microsoft.com
Fix Trac #3966: warn about useless UNPACK pragmas
blob
|
commitdiff
|
diff to current
2009-10-29
simonpj@microsoft.com
Comments and -ddump-tc-trace wibbles only
blob
|
commitdiff
|
diff to current
2009-10-20
simonpj@microsoft.com
Fix Trac #3590: a nasty type-checker bug in left/right...
blob
|
commitdiff
|
diff to current
2009-09-24
Ian Lynagh
Errors talking about a left section should refer to...
blob
|
commitdiff
|
diff to current
2009-09-10
simonpj@microsoft.com
Three improvements to Template Haskell (fixes #3467)
blob
|
commitdiff
|
diff to current
2009-07-23
simonpj@microsoft.com
Add tuple sections as a new feature
blob
|
commitdiff
|
diff to current
2009-07-02
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2009-06-25
simonpj@microsoft.com
Fix Trac #3323: naughty record selectors again
blob
|
commitdiff
|
diff to current
2009-05-27
simonpj@microsoft.com
Template Haskell: improve lifting for strings
blob
|
commitdiff
|
diff to current
2009-05-26
Ian Lynagh
Wibble some comments to avoid haddock parse errors
blob
|
commitdiff
|
diff to current
2009-05-13
simonpj@microsoft.com
Fix Trac #3219: type of a record update
blob
|
commitdiff
|
diff to current
2009-04-23
simonpj@microsoft.com
Fix Trac #3176: intercept naughty record selectors
blob
|
commitdiff
|
diff to current
2008-12-16
Simon Marlow
Rollback INLINE patches
blob
|
commitdiff
|
diff to current
2008-12-05
simonpj@microsoft.com
Completely new treatment of INLINE pragmas (big patch)
blob
|
commitdiff
|
diff to current
2008-11-03
simonpj@microsoft.com
Fix desugaring of record update (fixes Trac #2735)
blob
|
commitdiff
|
diff to current
2008-10-30
simonpj@microsoft.com
Add (a) CoreM monad, (b) new Annotations feature
blob
|
commitdiff
|
diff to current
2008-10-28
simonpj@microsoft.com
Mostly-fix Trac #2595: updates for existentials
blob
|
commitdiff
|
diff to current
2008-09-20
simonpj@microsoft.com
Wibble to ungrammatical error message
blob
|
commitdiff
|
diff to current
2008-09-20
simonpj@microsoft.com
Fix Trac #2597 (first bug): correct type checking for...
blob
|
commitdiff
|
diff to current
2008-09-10
simonpj@microsoft.com
More refactoring of instance declarations (fixes Trac...
blob
|
commitdiff
|
diff to current
2008-09-03
simonpj@microsoft.com
Major change in compilation of instance declarations...
blob
|
commitdiff
|
diff to current
2008-07-12
Ian Lynagh
Add PostfixOperators flag for (e op) postfix operators...
blob
|
commitdiff
|
diff to current
2008-05-15
simonpj@microsoft.com
Tuples cannot contain unboxed types
blob
|
commitdiff
|
diff to current
2008-05-20
Roman Leshchinskiy
Make -f[no-]method-sharing a dynamic flag
blob
|
commitdiff
|
diff to current
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TcExpr
blob
|
commitdiff
|
diff to current
2008-04-22
simonpj@microsoft.com
Rename WpCo to WpCast
blob
|
commitdiff
|
diff to current
2008-01-17
Twan van Laarhoven
Monadify typecheck/TcExpr: use do, return and standard...
blob
|
commitdiff
|
diff to current
2008-01-18
simonpj@microsoft.com
Add quasi-quotation, courtesy of Geoffrey Mainland
blob
|
commitdiff
|
diff to current
2007-12-20
simonpj@microsoft.com
Implement generalised list comprehensions
blob
|
commitdiff
|
diff to current
2007-11-21
simonpj@microsoft.com
Make rebindable do-notation behave as advertised
blob
|
commitdiff
|
diff to current
2007-11-06
simonpj@microsoft.com
Fix Trac #1814 (staging interaction in Template Haskell...
blob
|
commitdiff
|
diff to current
2007-10-10
Dan Licata
View patterns, record wildcards, and record puns
blob
|
commitdiff
|
diff to current
2007-09-28
Manuel M T Chakravarty
FIX: Make boxy splitters aware of type families
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-08-28
Manuel M T Chakravarty
Type checking for type synonym families
blob
|
commitdiff
|
diff to current
2007-06-21
Lemmih
Add several new record features
blob
|
commitdiff
|
diff to current
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