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
Original bug ID: 5639 Reporter: esther Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2015-12-11T18:04:54Z) Resolution: fixed Priority: normal Severity: minor Category: typing
Bug description
Using -bin-annot option on Windows results in the following error :
Fatal error: exception Failure("output_value: not a binary channel")
The problem is that the out_channel used to write the cmt file is create using Pervasives.open_out. It should use Perviasives.open_out_bin which works under Windows.
File typing/cmt_format.ml, line 124.
The text was updated successfully, but these errors were encountered:
Original bug ID: 5639
Reporter: esther
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:04:54Z)
Resolution: fixed
Priority: normal
Severity: minor
Category: typing
Bug description
Using -bin-annot option on Windows results in the following error :
Fatal error: exception Failure("output_value: not a binary channel")
The problem is that the out_channel used to write the cmt file is create using Pervasives.open_out. It should use Perviasives.open_out_bin which works under Windows.
File typing/cmt_format.ml, line 124.
The text was updated successfully, but these errors were encountered: