New test
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 29 Jul 2015 19:19:23 +0000 (15:19 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 29 Jul 2015 19:19:23 +0000 (15:19 -0400)
commit3c860c747e0148b0d530e66dd272eb29f0485e8e
tree5c7004311ece6aae4c747b54cd59e639bf3a37d6
parentceea8afc2392569d551ad2538cb9d8c3c6caff16
New test
testsuite/tests/typecheck/should_compile/all.T