more specific error messages

2025-09-17 22:45:14 +01:00
parent bf5daf1b54
commit 98a5d859a0
5 changed files with 267 additions and 115 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
 *.cmo
 *.cmi
-a.out
+*.cmx
+*.o
+*.out