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

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