git-svn-id: https://jules.scsys.co.uk/repository/shadowcat-code/scratchpad/matthewt/sig/lib@1240
8a6f57db-631f-0410-b083-dc7c4259d016
My brain just exploded
I can't handle pattern bindings for existential or GADT data constructors.
In a pattern binding: T x = T "where is your god now?"
+%
+<@lathos> php -r '$b = function() { echo 1; };
+ $a = function () { echo 2; $b(); }; $a();'
+<@lathos> That code should work, surely.
+<@lathos> I think I'm going to have to rewrite this in a programming language.