Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Uncaught exception with wrong type for "%ignore" #6946
Original bug ID: 6946
Due to the unguarded use of filter_arrow in type_application, an uncaught exception can be raised by the type-checker:
external foo : int = "%ignore";;
external foo : int = "%ignore"
Fatal error: exception Ctype.Unify(0)
Process ocaml-toplevel exited abnormally with code 2
Comment author: @xavierleroy
Using "%xxx" externals is not for the faint of heart, and there are many other compiler internal errors that can occur from misuses of those externals.
If someone feels strongly enough about this particular error case to implement a proper error message (preferably in less than 5 lines of code), go for it.