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

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-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-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-12	Adam Megacz	update compiler/hetmet/ submodule pointer	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-07	Adam Megacz	use compiler/coq/Makefile to decide if "git submodule...	commit \| commitdiff \| tree

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