Incorrect execution in literate mode

[whio]

This code in literate mode interprets ; @ as save-op instead of referencing ;@:

. , ;4 ~~ $ ; @ $

produces

1 4 4
2 4 4
3 4 4
4 4 4

Compilation converts this to ;@ and produces:

1  1
2  2
3  3
4  4

[darrenks]

Please correct me if I am wrong, but the correct behavior would be to warn when this happens, rather than change anything because it would never be ideal to save the @ variable?