Concurrent Clean : Clean 2.2 一意属性の不思議な挙動

SourceForge.jpに接続したので、次のテストプログラムをコンパイルしてみると、コンパイルできてしまった。
一意属性エラーになるのではないの？
（追記）Linux版だけでなく、Windows版でもできた。

module Test

import StdEnv

Start w # (f,w) = stdio w
          f = fwrites "Hello World!" f
          (_,f) = fclose f w
        = w

そうか、最後のfが使われないから、その枝がカットされるので、一意性違反にならないのか。
これは、見つけにくいバグになりそうな気がするな。