shithub: MicroHs

Download patch

ref: daa225f700399e392406008431fca2a7e6e87b9f
parent: 8693a0697d478761f316806f7f2b9e3cabf8f327
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Thu Feb 15 10:04:36 EST 2024

Run Infer test

--- a/tests/Makefile
+++ b/tests/Makefile
@@ -61,6 +61,7 @@
 	$(TMHS) Read       && $(EVAL) > Read.out       && diff Read.ref Read.out
 	$(TMHS) ListCompr  && $(EVAL) > ListCompr.out  && diff ListCompr.ref ListCompr.out
 	$(TMHS) ParseInd   && $(EVAL) > ParseInd.out   && diff ParseInd.ref ParseInd.out
+	$(TMHS) Infer      && $(EVAL) > Infer.out      && diff Infer.ref Infer.out
 
 errtest:
 	sh errtester.sh < errmsg.test
--