projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Type families: apply flattening coercions in the right order
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
2007-09-16
Manuel M T Chakravarty
FIX: TypeFamilies: should_compile/Simple12
commit
|
commitdiff
|
tree
2007-09-15
Manuel M T Chakravarty
Overhaul of the rewrite rules
commit
|
commitdiff
|
tree
2007-09-12
Manuel M T Chakravarty
Fix type error in MkZipCfg
commit
|
commitdiff
|
tree
2007-09-10
Manuel M T Chakravarty
Cleaned up version of Tom's unflattened skolemOccurs
commit
|
commitdiff
|
tree
2007-09-07
Manuel M T Chakravarty
Made TcTyFuns warning clean
commit
|
commitdiff
|
tree
2007-09-07
Manuel M T Chakravarty
Improved error messages for higher-rank equality contexts
commit
|
commitdiff
|
tree
2007-09-07
Manuel M T Chakravarty
FIX: Type families test Simple14
commit
|
commitdiff
|
tree
2007-09-06
Manuel M T Chakravarty
Cleanup of equality rewriting and no swapInsts for...
commit
|
commitdiff
|
tree
2007-09-06
Manuel M T Chakravarty
Remove EqInsts from addSCs to avoid -DDEBUG warnings
commit
|
commitdiff
|
tree
2007-09-06
Manuel M T Chakravarty
EqInst related clean up
commit
|
commitdiff
|
tree
2007-09-06
Manuel M T Chakravarty
Remove dead code in TcSimplify
commit
|
commitdiff
|
tree
2007-09-06
Manuel M T Chakravarty
Fix -DDEBUG warning
commit
|
commitdiff
|
tree
2007-09-05
Manuel M T Chakravarty
FIX #1651: use family instances during interactive...
commit
|
commitdiff
|
tree
2007-09-05
Manuel M T Chakravarty
FIX: Correct Leave/EnterCriticalSection imports
commit
|
commitdiff
|
tree
2007-09-04
Manuel M T Chakravarty
FIX #1651: unBox types when deferring unification
commit
|
commitdiff
|
tree
2007-09-03
Manuel M T Chakravarty
Better error message for unsolvable equalities
commit
|
commitdiff
|
tree
2007-08-30
Manuel M T Chakravarty
Added decidability check for type instances
commit
|
commitdiff
|
tree
2007-08-29
Manuel M T Chakravarty
FIX: Remove accidential change to darcs-all in type...
commit
|
commitdiff
|
tree
2007-08-28
Manuel M T Chakravarty
Type checking for type synonym families
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
Check for correct number of parameters in type instances
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
FIX: family instances for infix type constructors
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
ATs inherit kind annotations from class partameters
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
Updated comments
commit
|
commitdiff
|
tree
2007-07-18
Manuel M T Chakravarty
darcs-all: allow relative path for repo in local fs
commit
|
commitdiff
|
tree
2007-07-13
Manuel M T Chakravarty
init mg_inst_env when reading ext core
commit
|
commitdiff
|
tree
2007-07-10
Manuel M T Chakravarty
Lookup of class and family instances in vectorisation...
commit
|
commitdiff
|
tree
2007-06-29
Manuel M T Chakravarty
Checking that type indexes contain no synonym family...
commit
|
commitdiff
|
tree
2007-06-29
Manuel M T Chakravarty
RHS of a type instance must be a tau type
commit
|
commitdiff
|
tree
2007-06-29
Manuel M T Chakravarty
Overlap check for type families
commit
|
commitdiff
|
tree
2007-06-27
Manuel M T Chakravarty
Fix names of coercions in newtype instances
commit
|
commitdiff
|
tree
2007-06-27
Manuel M T Chakravarty
Fixed deriving of associated data types
commit
|
commitdiff
|
tree
2007-06-19
Manuel M T Chakravarty
Build package ndp if present
commit
|
commitdiff
|
tree
2007-06-08
Manuel M T Chakravarty
Fix worker/wrapper ids for newtype instances
commit
|
commitdiff
|
tree
next