projects / matthijs / master-project / cλash.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (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)
* '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.


Trivial merge
The Cλash compiler