You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
Original bug ID: 6946
Reporter: @lpw25
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-02-16T14:16:24Z)
Resolution: fixed
Priority: normal
Severity: tweak
Version: 4.02.2
Fixed in version: 4.03.0+dev / +beta1
Category: typing
Monitored by: @gasche @diml
Bug description
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"
foo ();;
Fatal error: exception Ctype.Unify(0)
Process ocaml-toplevel exited abnormally with code 2
The text was updated successfully, but these errors were encountered: