projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix haddock submodule pointer
[ghc-hetmet.git]
/
compiler
/
typecheck
/ TcExpr.lhs
2011-09-01
Adam Megacz
add support for <{..}> and ~~> syntax as well as typing...
commit
|
commitdiff
2011-05-31
Adam Megacz
adapt HetMet extensions to new GHC coercion representation
commit
|
commitdiff
2011-05-31
Adam Megacz
merge GHC HEAD
commit
|
commitdiff
2011-05-09
Adam Megacz
update compiler using *->*->* as the kind of environmen...
commit
|
commitdiff
2011-05-06
Simon Peyton Jones
Merge master into the ghc-new-co branch
commit
|
commitdiff
2011-05-04
Simon Peyton Jones
Improve error message when a function is applied
commit
|
commitdiff
2011-04-29
Simon Peyton Jones
Simon's hacking on monad-comp; incomplete
commit
|
commitdiff
2011-04-28
Simon Peyton Jones
Preliminary monad-comprehension patch (Trac #4370)
commit
|
commitdiff
2011-04-19
Simon Peyton Jones
This BIG PATCH contains most of the work for the New...
commit
|
commitdiff
2011-03-14
Adam Megacz
eliminate reliance on -XRebindableSyntax
commit
|
commitdiff
2011-03-08
Adam Megacz
handle stage-(n+1) literals properly by expanding them...
commit
|
commitdiff
2011-03-03
Adam Megacz
rebase to ghc main repo
commit
|
commitdiff
2011-03-02
Adam Megacz
Initial checkin of HetMet / -XModalTypes modifications
commit
|
commitdiff
2011-02-20
Manuel M T Chakravarty
Added a VECTORISE pragma
commit
|
commitdiff
2011-01-12
simonpj@microsoft.com
Major refactoring of the type inference engine
commit
|
commitdiff
2010-12-02
simonpj@microsoft.com
Make rebindable if-then-else a little more permissive
commit
|
commitdiff
2010-10-22
simonpj@microsoft.com
Add rebindable syntax for if-then-else
commit
|
commitdiff
2010-10-21
simonpj@microsoft.com
Tidy-up sweep, following the Great Skolemisation Simpli...
commit
|
commitdiff
2010-09-18
Ian Lynagh
Add separate functions for querying DynFlag and Extensi...
commit
|
commitdiff
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
commit
|
commitdiff
2010-05-06
simonpj@microsoft.com
Fix Trac #3966: warn about useless UNPACK pragmas
commit
|
commitdiff
2009-10-29
simonpj@microsoft.com
Comments and -ddump-tc-trace wibbles only
commit
|
commitdiff
2009-10-20
simonpj@microsoft.com
Fix Trac #3590: a nasty type-checker bug in left/right...
commit
|
commitdiff
2009-09-24
Ian Lynagh
Errors talking about a left section should refer to...
commit
|
commitdiff
2009-09-10
simonpj@microsoft.com
Three improvements to Template Haskell (fixes #3467)
commit
|
commitdiff
2009-07-23
simonpj@microsoft.com
Add tuple sections as a new feature
commit
|
commitdiff
2009-07-02
simonpj@microsoft.com
Comments only
commit
|
commitdiff
2009-06-25
simonpj@microsoft.com
Fix Trac #3323: naughty record selectors again
commit
|
commitdiff
2009-05-27
simonpj@microsoft.com
Template Haskell: improve lifting for strings
commit
|
commitdiff
2009-05-26
Ian Lynagh
Wibble some comments to avoid haddock parse errors
commit
|
commitdiff
2009-05-13
simonpj@microsoft.com
Fix Trac #3219: type of a record update
commit
|
commitdiff
2009-04-23
simonpj@microsoft.com
Fix Trac #3176: intercept naughty record selectors
commit
|
commitdiff
2008-12-16
Simon Marlow
Rollback INLINE patches
commit
|
commitdiff
2008-12-05
simonpj@microsoft.com
Completely new treatment of INLINE pragmas (big patch)
commit
|
commitdiff
2008-11-03
simonpj@microsoft.com
Fix desugaring of record update (fixes Trac #2735)
commit
|
commitdiff
2008-10-30
simonpj@microsoft.com
Add (a) CoreM monad, (b) new Annotations feature
commit
|
commitdiff
2008-10-28
simonpj@microsoft.com
Mostly-fix Trac #2595: updates for existentials
commit
|
commitdiff
2008-09-20
simonpj@microsoft.com
Wibble to ungrammatical error message
commit
|
commitdiff
2008-09-20
simonpj@microsoft.com
Fix Trac #2597 (first bug): correct type checking for...
commit
|
commitdiff
2008-09-10
simonpj@microsoft.com
More refactoring of instance declarations (fixes Trac...
commit
|
commitdiff
2008-09-03
simonpj@microsoft.com
Major change in compilation of instance declarations...
commit
|
commitdiff
2008-07-12
Ian Lynagh
Add PostfixOperators flag for (e op) postfix operators...
commit
|
commitdiff
2008-05-15
simonpj@microsoft.com
Tuples cannot contain unboxed types
commit
|
commitdiff
2008-05-20
Roman Leshchinskiy
Make -f[no-]method-sharing a dynamic flag
commit
|
commitdiff
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TcExpr
commit
|
commitdiff
2008-04-22
simonpj@microsoft.com
Rename WpCo to WpCast
commit
|
commitdiff
2008-01-17
Twan van Laarhoven
Monadify typecheck/TcExpr: use do, return and standard...
commit
|
commitdiff
2008-01-18
simonpj@microsoft.com
Add quasi-quotation, courtesy of Geoffrey Mainland
commit
|
commitdiff
2007-12-20
simonpj@microsoft.com
Implement generalised list comprehensions
commit
|
commitdiff
2007-11-21
simonpj@microsoft.com
Make rebindable do-notation behave as advertised
commit
|
commitdiff
2007-11-06
simonpj@microsoft.com
Fix Trac #1814 (staging interaction in Template Haskell...
commit
|
commitdiff
2007-10-10
Dan Licata
View patterns, record wildcards, and record puns
commit
|
commitdiff
2007-09-28
Manuel M T Chakravarty
FIX: Make boxy splitters aware of type families
commit
|
commitdiff
2007-09-04
Ian Lynagh
Fix CodingStyle#Warnings URLs
commit
|
commitdiff
2007-09-03
Ian Lynagh
Use OPTIONS rather than OPTIONS_GHC for pragmas
commit
|
commitdiff
2007-09-01
Ian Lynagh
Add {-# OPTIONS_GHC -w #-} and some blurb to all compil...
commit
|
commitdiff
2007-08-28
Manuel M T Chakravarty
Type checking for type synonym families
commit
|
commitdiff
2007-06-21
Lemmih
Add several new record features
commit
|
commitdiff
2007-06-06
simonpj@microsoft.com
FIX #1385: make sure tuple instances are loaded
commit
|
commitdiff
2007-05-10
simonpj@microsoft.com
Dead code elimination
commit
|
commitdiff
2007-05-02
simonpj@microsoft.com
Make records work properly with type families
commit
|
commitdiff
2007-02-04
lennart@augustsson.net
Make HsRecordBinds a data type instead of a synonym.
commit
|
commitdiff
2007-02-04
lennart@augustsson.net
Fix a typo.
commit
|
commitdiff
2007-01-09
simonpj@microsoft.com
Preserve rigidity for GADTs when typechecking explicit...
commit
|
commitdiff
2007-01-02
simonpj@microsoft.com
Big tidy-up of deriving code
commit
|
commitdiff
2006-12-29
andy@galois.com
Adding a GENERATED pragma
commit
|
commitdiff
2006-12-13
simonpj@microsoft.com
Add left-to-right impredicative instantiation
commit
|
commitdiff
2006-12-11
simonpj@microsoft.com
Comments and layout only
commit
|
commitdiff
2006-10-11
Simon Marlow
More import tidying and fixing the stage 2 build
commit
|
commitdiff
2006-10-03
simonpj@microsoft.com
Fix scoped type variables for expression type signatures
commit
|
commitdiff
2006-09-29
simonpj@microsoft.com
Remove Linear Implicit Parameters, and all their works
commit
|
commitdiff
2006-09-29
simonpj@microsoft.com
Global renamings in HsSyn
commit
|
commitdiff
2006-09-23
simonpj@microsoft.com
Fix origin for addDataConStupidTheta
commit
|
commitdiff
2006-09-20
Manuel M T Chakravarty
SPJ's fix to resolve conflict in instFun
commit
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Adjust code from manual merges
commit
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Fix a couple of stage-2 bogosities
commit
|
commitdiff
2006-09-20
Manuel M T Chakravarty
fix some coercion kind representation things, extend...
commit
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Complete the evidence generation for GADTs
commit
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
2006-08-19
Ross Paterson
remove spurious commas in imports
commit
|
commitdiff
2006-08-18
simonpj@microsoft.com
I don't thing we want to add a call-context here; it...
commit
|
commitdiff
2006-08-16
simonpj@microsoft.com
Add ad-hoc typing checks for tagToEnum#
commit
|
commitdiff
2006-08-04
simonpj@microsoft.com
Do pre-subsumption in the main subsumption check
commit
|
commitdiff
2006-04-14
simonpj@microsoft.com
Recover gracefully from a Template Haskell programmers...
commit
|
commitdiff
2006-04-07
Simon Marlow
Reorganisation of the source tree
commit
|
commitdiff