Add some tests for evaluating type-level naturals.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Fri, 13 Sep 2013 06:20:24 +0000 (23:20 -0700)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Fri, 13 Sep 2013 06:20:24 +0000 (23:20 -0700)
commit04a24282d8e0302d6c575b90c62bc6a02c2e36b1
tree73e2c0bdc1218434ac57af100388cd96e11408db
parent280139719545be9c741376bac826dd34dc100a4e
Add some tests for evaluating type-level naturals.
testsuite/tests/typecheck/should_compile/TcTypeNatSimple.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T
testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.stdout [new file with mode: 0644]
testsuite/tests/typecheck/should_run/all.T