git.megacz.com Git - ghc-hetmet.git/search

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
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
next

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom