[webkit-dev] Fwd: Rename TypeInfo -> JSTypeInfo?

Maciej Stachowiak mjs at apple.com
Tue Sep 23 19:01:35 PDT 2008


On Sep 23, 2008, at 9:32 AM, David Kilzer wrote:

> Hi Kevin,
>
> The original message did make it to the list, but no one replied.
>
> I think the best approach is to simply create a bug on  
> bugs.webkit.org and attach a patch for review (since the wx port is  
> apparently the only one "feeling the pain" right now :).

Since this change builds ok on other Windows-based ports, in my  
opinion it would be better to fix the Wx port's build system than to  
change the header name or class name.

Regards,
Maciej

>
>
> Dave
>
>
> On Tue, 9/23/08, Kevin Ollivier <kevino at theolliviers.com> wrote:
>
>> Hi all,
>>
>> I sent this message to the mailing list yesterday, but it
>> seems it
>> never made it, so I'm resending.
>>
>> Kevin
>>
>> Begin forwarded message:
>>
>>> From: Kevin Ollivier <kevino at theolliviers.com>
>>> Date: September 22, 2008 12:13:24 PM PDT
>>> To: webkit-dev at lists.webkit.org
>>> Subject: Rename TypeInfo -> JSTypeInfo?
>>>
>>> Hi all,
>>>
>>> We're having a problem on the Windows version of
>> wxWebKit where
>>> #include <typeinfo> is actually now including
>> JavaScriptCore/kjs/
>>> TypeInfo.h, which needless to say is not a good thing.
>> ;-) I think
>>> this problem stems from the fact that we (the wx port,
>> that is)
>>> don't use the 'framework' approach for JSC
>> headers yet (and thus
>>> need JavaScriptCore/kjs on our include path), but I
>> think in general
>>> it's good practice to avoid using system header
>> names just for
>>> readability purposes. Does anyone see a problem with
>> renaming
>>> TypeInfo to JS(C)TypeInfo, both header name and class?
>>>
>>> Thanks,
>>>
>>> Kevin
>>
>> _______________________________________________
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
>> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev



More information about the webkit-dev mailing list