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