Re: [htoolkit-users] Is GTK2 required? and glade question

[Krasimir A. <ka2...@ya...>]

   Hi Vincenzo

> PS: I still wonder if Krasimir is willing to keep on
> writing this 
> library, since I didn't get replies to recent
> questions. 

   I am really sorry that I wasn't able to answer you
earlier. After my two weeks holiday I returned to my
office and I found that there was too much work
waiting for me to do.
   I read your proposal about readonly attributes and
I like the idea of separated Readable and Writeable
and ReadWrite types. In your second proposal you try
to work arround the combinatorial explosion with more
complicated type classes. Still I think that this is
not a very good solution. The type checker will accept
the following types:

Attr Readable  w a
Attr Writeable w a
Attr (Readable,Writeable) w a

but will reject this one:

Attr (Writeable,Readable) w a

It would be good if there is a solution which will
accept the last type as well as the following ones:

Attr Initial w a
Attr (Initial,Readable) w a
Attr (Readable,Initial) w a

Unfortunatelly I can't see a way to do this and I
think that the first solution is the simplier one. 

    About the "Progress" type: There is nothing
specific here and the type can be defined as:

data Process = Process

Just like in your proposal.

Cheers,
Krasimir

__________________________________
Do you Yahoo!?
The New Yahoo! Shopping - with improved product search
http://shopping.yahoo.com