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: 6827 Reporter: @sliquister Status: closed (set by @damiendoligez on 2015-04-07T18:52:21Z) Resolution: fixed Priority: normal Severity: minor Version: 4.02.1 Fixed in version: 4.03.0+dev / +beta1 Category: typing Monitored by:@hcarty
Bug description
When -safe-string is not used, -short-paths seems to always prefer saying "bytes" instead of "string", which is the opposite behaviour of what we want: if you don't say -safe-string, you don't care about the "bytes" type and you'd prefer to see "string" everywhere.
I suspect this behavior is an unintended consequence of the order in which predef.ml creates the type defs.
Steps to reproduce
$ ocaml
OCaml version 4.02.1
let 1 = "A";;
Error: This expression has type string but an expression was expected of type
int
$ ocaml -short-paths
OCaml version 4.02.1
let 1 = "A";;
Error: This expression has type bytes but an expression was expected of type
int
The text was updated successfully, but these errors were encountered:
Original bug ID: 6827
Reporter: @sliquister
Status: closed (set by @damiendoligez on 2015-04-07T18:52:21Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.02.1
Fixed in version: 4.03.0+dev / +beta1
Category: typing
Monitored by: @hcarty
Bug description
When -safe-string is not used, -short-paths seems to always prefer saying "bytes" instead of "string", which is the opposite behaviour of what we want: if you don't say -safe-string, you don't care about the "bytes" type and you'd prefer to see "string" everywhere.
I suspect this behavior is an unintended consequence of the order in which predef.ml creates the type defs.
Steps to reproduce
$ ocaml
OCaml version 4.02.1
let 1 = "A";;
Error: This expression has type string but an expression was expected of type
int
$ ocaml -short-paths
OCaml version 4.02.1
let 1 = "A";;
Error: This expression has type bytes but an expression was expected of type
int
The text was updated successfully, but these errors were encountered: