projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add -fflatten and -funsafe-skolemize flags
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-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-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 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-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
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