projects / matthijs / master-project / cλash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: db7cc80 9eebebd)
Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project
authorChristiaan Baaij <christiaan.baaij@gmail.com>
Fri, 26 Jun 2009 11:09:19 +0000 (13:09 +0200)
committerChristiaan Baaij <christiaan.baaij@gmail.com>
Fri, 26 Jun 2009 11:09:19 +0000 (13:09 +0200)
commitfc9e13429a9f75f03ef75b91ca540c08b40083a2
tree1ec59f6de39313995408d6f3f2edd80d9094b61atree | snapshot
parentdb7cc80c519452c8ebfcd2896c2f24b8b8a33ae9commit | diff
parent9eebebd95cbf192b0e0cf50e7266df26b20942aacommit | diff
Merge branch 'cλash' of git.stderr.nl/matthijs/projects/master-project

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Let exprToVar give a useful error message.
  Use tcSplitSigmaTy for getting at value arguments.
  Add is_simple predicate for applications and vars.
  Add function-typed argument extraction transform.
  Add has_free_vars predicate.
  Remove TODO that was already solved.
The Cλash compiler