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"