projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make haddocking depend on the library .a file
2009-05-15
Manuel M T Chakravarty
Fix maintainer-clean for library/dph
commit
|
commitdiff
|
tree
2009-04-27
Manuel M T Chakravarty
Equality constraint solver is now externally pure
commit
|
commitdiff
|
tree
2009-03-26
Manuel M T Chakravarty
Template Haskell: added bang patterns
commit
|
commitdiff
|
tree
2009-03-26
Manuel M T Chakravarty
Template Haskell: support for kind annotations
commit
|
commitdiff
|
tree
2009-03-25
Manuel M T Chakravarty
Template Haskell: make reify aware of type families
commit
|
commitdiff
|
tree
2009-03-24
Manuel M T Chakravarty
Template Haskell: support for INLINE and SPECIALISE...
commit
|
commitdiff
|
tree
2009-03-20
Manuel M T Chakravarty
Implement setThreadAffinity for Mac OS X (from 10.5)
commit
|
commitdiff
|
tree
2009-03-19
Manuel M T Chakravarty
Template Haskell support for equality constraints
commit
|
commitdiff
|
tree
2009-03-19
Manuel M T Chakravarty
Template Haskell: support for type family declarations
commit
|
commitdiff
|
tree
2009-03-15
Manuel M T Chakravarty
Ensure the orientation of var-var equalities is correct...
commit
|
commitdiff
|
tree
2009-03-06
Manuel M T Chakravarty
Package dph needs to be cleaned in stage=1, too
commit
|
commitdiff
|
tree
2009-02-24
Manuel M T Chakravarty
Add targets clean.library.dph and remake.library.dph
commit
|
commitdiff
|
tree
2008-10-21
Manuel M T Chakravarty
Reject programs with superclass equalities for now
commit
|
commitdiff
|
tree
2008-10-21
Manuel M T Chakravarty
FIX #2693
commit
|
commitdiff
|
tree
2008-10-21
Manuel M T Chakravarty
FIX #2688
commit
|
commitdiff
|
tree
2008-10-09
Manuel M T Chakravarty
FIX #2639
commit
|
commitdiff
|
tree
2008-10-09
Manuel M T Chakravarty
Cover PredTy case in Type.tyFamInsts
commit
|
commitdiff
|
tree
2008-10-08
Manuel M T Chakravarty
Users Guide: added type family documentation
commit
|
commitdiff
|
tree
2008-10-02
Manuel M T Chakravarty
TFs: Allow repeated variables in left-hand sides of...
commit
|
commitdiff
|
tree
2008-10-02
Manuel M T Chakravarty
Clean up some comments
commit
|
commitdiff
|
tree
2008-10-01
Manuel M T Chakravarty
Proper error message for unsupported pattern signatures
commit
|
commitdiff
|
tree
2008-10-01
Manuel M T Chakravarty
TFs: Fixed InstContextNorm (and simplification of IPs)
commit
|
commitdiff
|
tree
2008-10-01
Manuel M T Chakravarty
TcSimplify.reduceImplication: clean up
commit
|
commitdiff
|
tree
2008-10-01
Manuel M T Chakravarty
Make sure to zonk the kind of coercion variables
commit
|
commitdiff
|
tree
2008-09-30
Manuel M T Chakravarty
Type families: need to instantiate flexible skolems...
commit
|
commitdiff
|
tree
2008-09-29
Manuel M T Chakravarty
Fix warnings
commit
|
commitdiff
|
tree
2008-09-29
Manuel M T Chakravarty
Type families: consider subst rules both way
commit
|
commitdiff
|
tree
2008-09-25
Manuel M T Chakravarty
Type families: fixes in flattening & finalisation
commit
|
commitdiff
|
tree
2008-09-25
Manuel M T Chakravarty
Type families: fix decomposition problem
commit
|
commitdiff
|
tree
2008-09-18
Manuel M T Chakravarty
Type families: fixes in the new solver
commit
|
commitdiff
|
tree
2008-09-17
Manuel M T Chakravarty
Type families: unify with family apps in checking mode
commit
|
commitdiff
|
tree
2008-09-16
Manuel M T Chakravarty
Type families: bug fixes
commit
|
commitdiff
|
tree
2008-09-16
Manuel M T Chakravarty
Keep sysnonyms folded in equalities if possible
commit
|
commitdiff
|
tree
2008-09-16
Manuel M T Chakravarty
Type families: apply flattening coercions in the right...
commit
|
commitdiff
|
tree
2008-09-15
Manuel M T Chakravarty
TcTyFuns: tidy warning
commit
|
commitdiff
|
tree
2008-09-15
Manuel M T Chakravarty
Signature for Inst.isValidWantedEqInst
commit
|
commitdiff
|
tree
2008-09-14
Manuel M T Chakravarty
Remember if RewriteInst is swapped & bug fixes
commit
|
commitdiff
|
tree
2008-09-14
Manuel M T Chakravarty
Type families: fixed all non-termination in the testsuite
commit
|
commitdiff
|
tree
2008-09-13
Manuel M T Chakravarty
Type families: completed the new equality solver
commit
|
commitdiff
|
tree
2008-09-07
Manuel M T Chakravarty
Type families: new algorithm to solve equalities
commit
|
commitdiff
|
tree
2008-07-15
Manuel M T Chakravarty
Fix for 1st half of #2203
commit
|
commitdiff
|
tree
2008-07-14
Manuel M T Chakravarty
Fix check of rhs of type family instances (#2157)
commit
|
commitdiff
|
tree
2008-06-04
Manuel M T Chakravarty
MacOS installer: don't quote XCODE_EXTRA_CONFIGURE_ARGS
commit
|
commitdiff
|
tree
2008-06-04
Manuel M T Chakravarty
MacOS installer: terminate build on intermediate failure
commit
|
commitdiff
|
tree
2008-06-02
Manuel M T Chakravarty
MacOS installer: clean up Xcode project spec
commit
|
commitdiff
|
tree
2008-05-29
Manuel M T Chakravarty
PackageMaker target depends on deployment target
commit
|
commitdiff
|
tree
2008-05-27
Manuel M T Chakravarty
make framework-pkg needs to cope with missing DSTROOT
commit
|
commitdiff
|
tree
2008-05-26
Manuel M T Chakravarty
Fix fwrite$UNIX2003 symbols when cross-compiling for...
commit
|
commitdiff
|
tree
2008-05-22
Manuel M T Chakravarty
Ensure runhaskell is rebuild in stage2
commit
|
commitdiff
|
tree
2008-04-07
Manuel M T Chakravarty
Remove GADT refinements, part 5
commit
|
commitdiff
|
tree
2008-03-03
Manuel M T Chakravarty
Remove GADT refinements, part 4
commit
|
commitdiff
|
tree
2008-03-13
Manuel M T Chakravarty
Some cleanup in TcSimplify.reduceContext
commit
|
commitdiff
|
tree
2008-03-13
Manuel M T Chakravarty
Properly normalise reduced dicts
commit
|
commitdiff
|
tree
2008-02-29
Manuel M T Chakravarty
Remove GADT refinements, part 3
commit
|
commitdiff
|
tree
2008-02-28
Manuel M T Chakravarty
MacOS installer: Uninstaller must be able to deal with...
commit
|
commitdiff
|
tree
2008-02-28
Manuel M T Chakravarty
Remove GADT refinements, part 2
commit
|
commitdiff
|
tree
2008-02-28
Manuel M T Chakravarty
Remove GADT refinements, part 1
commit
|
commitdiff
|
tree
2008-02-28
Manuel M T Chakravarty
Eliminate SkolemOccurs skolems only after checkLoop...
commit
|
commitdiff
|
tree
2008-02-25
Manuel M T Chakravarty
Mac installer: cross-compile for 10.4
commit
|
commitdiff
|
tree
2008-02-21
Manuel M T Chakravarty
Mac OS X deployment target: piping opts through Makefiles
commit
|
commitdiff
|
tree
2008-02-19
Manuel M T Chakravarty
Add configure option --with-macos-deployment-target
commit
|
commitdiff
|
tree
2008-02-18
Manuel M T Chakravarty
All installed Haskell prgms have an inplace and an...
commit
|
commitdiff
|
tree
2008-02-11
Manuel M T Chakravarty
Mac installer: Added XCODE_EXTRA_CONFIGURE_ARGS
commit
|
commitdiff
|
tree
2008-02-11
Manuel M T Chakravarty
Mac installer: make Uninstaller a bit more robust
commit
|
commitdiff
|
tree
2008-02-11
Manuel M T Chakravarty
Mac installer: add comprehensive licencing information
commit
|
commitdiff
|
tree
2008-02-11
Manuel M T Chakravarty
Force -s on ar in xcode builds
commit
|
commitdiff
|
tree
2008-02-09
Manuel M T Chakravarty
Mac installer: added support for full docs
commit
|
commitdiff
|
tree
2008-02-07
Manuel M T Chakravarty
Fixed permissions and other cleanup in Mac installer...
commit
|
commitdiff
|
tree
2008-02-06
Manuel M T Chakravarty
Added Uninstaller
commit
|
commitdiff
|
tree
2008-02-05
Manuel M T Chakravarty
Most of installer for framework on system volume
commit
|
commitdiff
|
tree
2008-02-05
Manuel M T Chakravarty
Split into two types of Mac installer specs
commit
|
commitdiff
|
tree
2008-02-05
Manuel M T Chakravarty
Lambda logo for packages
commit
|
commitdiff
|
tree
2008-02-05
Manuel M T Chakravarty
xcode build target for fixed /Library/Frameworks inst
commit
|
commitdiff
|
tree
2008-02-02
Manuel M T Chakravarty
First stab at an installer package for the Mac
commit
|
commitdiff
|
tree
2008-01-31
Manuel M T Chakravarty
Warning clean up
commit
|
commitdiff
|
tree
2008-01-15
Manuel M T Chakravarty
Fix warning when USE_READLINE is unset
commit
|
commitdiff
|
tree
2007-12-17
Manuel M T Chakravarty
Eliminate external GMP dependencies
commit
|
commitdiff
|
tree
2007-12-08
Manuel M T Chakravarty
Coercions from boxy splitters must be sym'ed in pattern...
commit
|
commitdiff
|
tree
2007-12-07
Manuel M T Chakravarty
Properly keep track of whether normalising given or...
commit
|
commitdiff
|
tree
2007-11-20
Manuel M T Chakravarty
TcPat.tcConPat uses equalities instead of GADT refinement
commit
|
commitdiff
|
tree
2007-11-22
Manuel M T Chakravarty
Properly ppr InstEqs in wanteds of implication constraints
commit
|
commitdiff
|
tree
2007-10-30
Manuel M T Chakravarty
Fix warning in OSMem for darwin
commit
|
commitdiff
|
tree
2007-10-19
Manuel M T Chakravarty
Zonk quantified tyvars with skolems
commit
|
commitdiff
|
tree
2007-10-18
Manuel M T Chakravarty
Fix typo that prevented zonking of rhs of EqInsts
commit
|
commitdiff
|
tree
2007-10-18
Manuel M T Chakravarty
Don't barf on error message with non-tc tyvars
commit
|
commitdiff
|
tree
2007-10-18
Manuel M T Chakravarty
Fix deferring on tyvars in TcUnify.subFunTys
commit
|
commitdiff
|
tree
2007-10-17
Manuel M T Chakravarty
TcUnify.subFunTys must take type families into account
commit
|
commitdiff
|
tree
2007-10-15
Manuel M T Chakravarty
More docu for skolemOccurs
commit
|
commitdiff
|
tree
2007-10-10
Manuel M T Chakravarty
Slightly improved comments in TcTyClsDecls
commit
|
commitdiff
|
tree
2007-10-04
Manuel M T Chakravarty
TcTyFuns: remove some duplicate code
commit
|
commitdiff
|
tree
2007-10-03
Manuel M T Chakravarty
TcTyFuns.eqInstToRewrite
commit
|
commitdiff
|
tree
2007-10-10
Manuel M T Chakravarty
Fix warnings when build w/o readline
commit
|
commitdiff
|
tree
2007-10-02
Manuel M T Chakravarty
Remove warnings from WwLib
commit
|
commitdiff
|
tree
2007-10-02
Manuel M T Chakravarty
FIX: mkWWcpr takes open alg types into account
commit
|
commitdiff
|
tree
2007-10-01
Manuel M T Chakravarty
FIX #1738: KPush rule of FC must take dataConEqTheta...
commit
|
commitdiff
|
tree
2007-09-29
Manuel M T Chakravarty
FIX #1729: Don't try to expand syn families with -XLiberalTy...
commit
|
commitdiff
|
tree
2007-09-29
Manuel M T Chakravarty
Some more traceTcs
commit
|
commitdiff
|
tree
2007-09-28
Manuel M T Chakravarty
FIX: Make boxy splitters aware of type families
commit
|
commitdiff
|
tree
2007-09-19
Manuel M T Chakravarty
FIX #1688: Givens in checkLoop are not that rigid after all
commit
|
commitdiff
|
tree
2007-09-19
Manuel M T Chakravarty
FIX #1713: watch out for type families in splitAppTy...
commit
|
commitdiff
|
tree
next