It's possible, by wrapping the types.


On 17 March 2014 20:10, Anders Persson <notifications@github.com> wrote:

> In library/network/protocol/http/src/http_header.e:
>
> >  		do
> > -			create s.make (k.count + 2 + v.count)
> > -			s.append (k)
> > -			s.append (colon_space)
> > -			s.append (v)
> > -			add_header (s)
> > -		ensure
> > +			Precursor (k, v)
> > +		ensure then
> >  			added: has_header_named (k)
> >  		end
> >
> >  	put_header_key_value (k,v: READABLE_STRING_8)
>
> If one, by misstake, types them in wrong order it will be a difficult task
> to find the error. If possible it would be nice if the compiler could
> detect that. I do not know how. Might not be possible.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/EiffelWebFramework/EWF/pull/128/files#r10676235>
> .
>