This makes the change mentioned in the log message for r10735 (the previous revision). So what we'll get here is the following:
This makes the change mentioned in the log message for r10735 (the previous
revision). So what we'll get here is the following:

Dotted + Dotted = Dotted (from the first case)
Dotted + x      = x      (since x refers to a free use of the dotted var)
x      + Dotted = x      (same)

I think this is correct.

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket