From: Christiaan Baaij Date: Fri, 3 Jul 2009 19:42:19 +0000 (+0200) Subject: Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fc%CE%BBash.git;a=commitdiff_plain;h=35d10dbd4dcd24f3bd8a46e3a359d6f16dccfd32 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. --- 35d10dbd4dcd24f3bd8a46e3a359d6f16dccfd32