when defineing an optional arg it should define that field to be the same type as the default value

[jkroso]

Eg:

macroexpand(:(@qtype A(b=1)))

Becomes

quote
  type A
    b::Int
  end
  A()=A(1)
end

[cstjean]

That was a conscious decision, because it allows for @qtype A(b::Float64=1), whereas if we asserted it in the constructor, that would be an error. Since normal arguments are converted, it seemed reasonable that the defaults be converted too.

[jkroso]

I'm not sure I follow. But I agree that @qtype A(b::Float64=1) should not get transformed into the same thing that I suggested @qtype A(b=1) get transformed into

[cstjean]

Oh! I'm sorry; I misread your suggestion. Ignore what I said above.

That's an interesting proposal, but it would be unexpected behaviour for most users. Consider @qtype Window(color, button=nothing), where nothing is a default value. It would translate into

quote
   type Window
      color
      button::Void
   end
end

which is obviously not useful.

[jkroso]

And that brings up another case @qtype Window(color, button::Nullable). Which should get transformed to:

type Window
  color::Any
  Button::Nullable
end
Window(color)=Window(color,nothing)

ie. Nullable's should be be treated as optional arguments

[cstjean]

See #1