Monomorphisation tests all pass so add them to standard regression tests

1 files changed, 6 insertions, 0 deletions

diff --git a/test/run_tests.sh b/test/run_tests.sh
index 71c3eea1..09e99ff2 100755
--- a/test/run_tests.sh
+++ b/test/run_tests.sh
@@ -18,6 +18,12 @@ printf "==========================================\n"
 ./lem/run_tests.sh
 
 printf "\n==========================================\n"
+printf "Monomorphisation tests\n"
+printf "==========================================\n"
+
+./mono/run_tests.sh
+
+printf "\n==========================================\n"
 printf "Ocaml tests\n"
 printf "==========================================\n"