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

2014-04-13	Adam Megacz	update .gitmodules pointers to git.haskell.org	commit \| commitdiff \| tree
2014-04-13	Adam Megacz	update submodules	commit \| commitdiff \| tree
2012-04-20	Adam Megacz	update submodules for GHC.HetMet.GArrow -> Control...	commit \| commitdiff \| tree
2011-10-04	Adam Megacz	allow either <[]> or <{}> at the type level	commit \| commitdiff \| tree
2011-10-02	Adam Megacz	swap <[]> and <{}> syntax	commit \| commitdiff \| tree
2011-09-01	Adam Megacz	add support for <{..}> and ~~> syntax as well as typing...	commit \| commitdiff \| tree
2011-08-31	Adam Megacz	add pretty-printing of <[...]>@.. types	commit \| commitdiff \| tree
2011-08-30	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-08-30	Adam Megacz	add submodule for all upstream repos	commit \| commitdiff \| tree
2011-08-30	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-07-04	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-06-22	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-06-21	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-06-20	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-06-20	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-06-19	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-06-19	Adam Megacz	put coqPassCoreToCore on the CoreM monad, greatly simplify...	commit \| commitdiff \| tree
2011-06-19	Adam Megacz	CoreMonad: add lookupOrigCoreM, modeled after IfaceEnv...	commit \| commitdiff \| tree
2011-06-18	Adam Megacz	minimize impact on PrelNames	commit \| commitdiff \| tree
2011-06-15	Adam Megacz	adapt to upstream changes	commit \| commitdiff \| tree
2011-06-14	Adam Megacz	merge upstream	commit \| commitdiff \| tree
2011-06-14	Adam Megacz	update submodule pointer	commit \| commitdiff \| tree
2011-06-02	Adam Megacz	add support for flattening recursive-let	commit \| commitdiff \| tree
2011-05-31	Adam Megacz	desugar: do not bother simplifying if we are doing...	commit \| commitdiff \| tree
2011-05-31	Adam Megacz	adapt HetMet extensions to new GHC coercion representation	commit \| commitdiff \| tree
2011-05-31	Adam Megacz	merge GHC HEAD	commit \| commitdiff \| tree
2011-05-31	Adam Megacz	update submodule pointer	commit \| commitdiff \| tree
2011-05-31	Adam Megacz	add -fsimpleopt-before-flatten	commit \| commitdiff \| tree
2011-05-30	Adam Megacz	update submodule pointer	commit \| commitdiff \| tree
2011-05-30	Adam Megacz	TcHsType: set the kind for tyvars that occur in explicit...	commit \| commitdiff \| tree
2011-05-30	Adam Megacz	extract_lty: remember to check the environment classifier	commit \| commitdiff \| tree
2011-05-30	Adam Megacz	add -fflatten and -funsafe-skolemize flags	commit \| commitdiff \| tree
2011-05-27	Adam Megacz	do flattening before simpleOptPgm so evaluation "order...	commit \| commitdiff \| tree
2011-05-16	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-05-15	Adam Megacz	update submodule pointer	commit \| commitdiff \| tree
2011-05-15	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-05-10	Adam Megacz	update flattener to use type-family-based GArrow classes	commit \| commitdiff \| tree
2011-05-09	Adam Megacz	add support for hetmet_unflatten	commit \| commitdiff \| tree
2011-05-09	Adam Megacz	add support for hetmet_flatten casting variable	commit \| commitdiff \| tree
2011-05-09	Adam Megacz	update compiler using ->->* as the kind of environment...	commit \| commitdiff \| tree
2011-05-09	Adam Megacz	thread wired-in names of GHC.HetMet.Private.* through...	commit \| commitdiff \| tree
2011-04-25	Adam Megacz	Merge branch 'master' of http://darcs.haskell.org/ghc	commit \| commitdiff \| tree
2011-04-20	Adam Megacz	merge upstream HEAD	commit \| commitdiff \| tree
2011-04-17	Adam Megacz	merge up to ghc HEAD 16-Apr-2011	commit \| commitdiff \| tree
2011-04-10	Adam Megacz	update for changes in hetmet Makefile	commit \| commitdiff \| tree
2011-03-25	Adam Megacz	update submodule pointers	commit \| commitdiff \| tree
2011-03-22	Adam Megacz	update hetmet submodule pointer	commit \| commitdiff \| tree
2011-03-19	Adam Megacz	pass Var.Var for hetmet brak/esc to -fcoqpass code	commit \| commitdiff \| tree
2011-03-14	Adam Megacz	update hetmet subrepository pointer	commit \| commitdiff \| tree
2011-03-14	Adam Megacz	update hetmet submodule pointer	commit \| commitdiff \| tree
2011-03-14	Adam Megacz	eliminate reliance on -XRebindableSyntax	commit \| commitdiff \| tree
2011-03-13	Adam Megacz	third attempt at getting submodules to work properly	commit \| commitdiff \| tree
2011-03-12	Adam Megacz	update compiler/hetmet/ submodule pointer	commit \| commitdiff \| tree
2011-03-12	Adam Megacz	update coq-hetmet submodule pointer	commit \| commitdiff \| tree
2011-03-12	Adam Megacz	second attempt at updating submodules; I seem to have...	commit \| commitdiff \| tree
2011-03-11	Adam Megacz	change hetmet directory to compiler/hetmet/, update...	commit \| commitdiff \| tree
2011-03-09	Adam Megacz	make exports/imports of depth>0 identifiers work correctly	commit \| commitdiff \| tree
2011-03-08	Adam Megacz	fix compiler/coq submodule reference	commit \| commitdiff \| tree
2011-03-08	Adam Megacz	handle stage-(n+1) literals properly by expanding them...	commit \| commitdiff \| tree
2011-03-07	Adam Megacz	update reference to compiler/coq subproject	commit \| commitdiff \| tree
2011-03-07	Adam Megacz	use compiler/coq/Makefile to decide if "git submodule...	commit \| commitdiff \| tree
2011-03-07	Adam Megacz	add code for -dcoqpass, -fcoqpass, -ddump-coqpass	commit \| commitdiff \| tree
2011-03-03	Adam Megacz	Merge branch 'master' of /tmp/ghc-garrows; branch ...	commit \| commitdiff \| tree
2011-03-03	Adam Megacz	rebase to ghc main repo	commit \| commitdiff \| tree
2011-03-02	Adam Megacz	fix compile error due to erroneous import	commit \| commitdiff \| tree
2011-03-02	Adam Megacz	Initial checkin of HetMet / -XModalTypes modifications	commit \| commitdiff \| tree

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

RSS Atom