Incompatible pattern for accumulate expression shouldn't compile

An expression with an incompatible accumulate pattern like

$max : Double() from accumulate ( $num : Integer(); max($num) )

should not compile.