Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project
authorChristiaan Baaij <christiaan.baaij@gmail.com>
Fri, 3 Jul 2009 19:42:19 +0000 (21:42 +0200)
committerChristiaan Baaij <christiaan.baaij@gmail.com>
Fri, 3 Jul 2009 19:42:19 +0000 (21:42 +0200)
commit35d10dbd4dcd24f3bd8a46e3a359d6f16dccfd32
tree90d07d39a4eafe10e2908aac9400aeeabbc4f2cb
parent8d8e5446f4558cd5bfbd78f3378e6cf96a9c3fc8
parentebdc2024d7cf708b815a0f498c53b335c1d7a371
Merge branch 'cλash' of git.stderr.nl/matthijs/projects/master-project

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Let inlinefun inline everything non-representable.
  Unify typeprop and funprop into argprop.
  Extract only representable arguments.
  Add predicates for testing representability of types.