File "pr6303_bad.ml", line 11, characters 22-23:
11 | let r' : string foo = r
                           ^
Error: The value r has type int foo but an expression was expected of type
         string foo
       Type int is not compatible with type string