/* error : unknown type */
let
        var a := rectype { foo = 0 }
in
        0
end