Tests in spl-test-adhoc-hn should be migrated to the main HUnit suite

nponeccop / HNC

HN Compiler

GNU Lesser General Public License v3.0

62 stars 5 forks source link

Tests in spl-test-adhoc-hn should be migrated to the main HUnit suite #12

Open nponeccop opened 13 years ago

nponeccop commented 13 years ago

Note that many tests are disabled in HN_Tests.hs because they lack assertions (the output was checked manually). These tests should also be re-enabled, rewritten to use HUnit and migrated to the main suite.

[x] HN parser tests
[x] HNI parser tests
[ ] Avoid SPL.Checker3 in the remaining tests

nponeccop commented 7 years ago

As of now, most tests crash because they rely on SPL.Checker3 (the legacy type checker developed by inv).

So only HNI parser tests remain to be migrated.