Erlang Mailing Lists

Author Message

<  Erlang patches mailing list  ~  syntax_tools: Fix an erroneous type and strengthen some spec

Guest
Posted: Fri Oct 29, 2010 6:32 am Reply with quote
Guest
2010/10/26 Kostis Sagonas <kostis@cs.ntua.gr>:
> The declaration of the stubDescriptop() type in 'igor' was erroneous,
> both in the -type and in the published documentation of the module.
>
> While fixing this some specs where strengthened and used a remote
> type to refer to ordsets:ordset(T). Consequently, this patch depends
> on the ordsets module exporting the ordset/1 type.
>

Because of this dependency, I have put this commit on
the same branch as the commit that exports the ordset/1 type.
I also put the other commits that strengthen specs
onto the same branch (still as separate commits).

--
Björn Gustavsson, Erlang/OTP, Ericsson AB

________________________________________________________________
erlang-patches (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-patches-unsubscribe@erlang.org

Post received from mailinglist
Guest
Posted: Fri Oct 29, 2010 7:22 am Reply with quote
Guest
The declaration of the stubDescriptop() type in 'igor' was erroneous,
both in the -type and in the published documentation of the module.

While fixing this some specs where strengthened and used a remote
type to refer to ordsets:ordset(T). Consequently, this patch depends
on the ordsets module exporting the ordset/1 type.


git fetch git://github.com/kostis/otp.git syntax_tools-fixes


Kostis

________________________________________________________________
erlang-patches (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-patches-unsubscribe@erlang.org

Post received from mailinglist
wailian
Posted: Tue Mar 20, 2012 2:47 am Reply with quote
Guest
One of them is the Ugg bailey button boot which has classic and uniquely designed buttons on its body to give that elegant and luxurious look. It has a fantastic look and this includes the Bailey Triplet Boot which has 3 buttons. These boots have a shaft (the upper part of the boot) which can be turned up or turned down depending upon your need. These buttons are both for style or decoration along with being functional or usable as well.

Display posts from previous:  

All times are GMT
Page 1 of 1
This forum is locked: you cannot post, reply to, or edit topics.

Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You cannot download files in this forum