[XSL-LIST Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Static type-checker

Subject: RE: Static type-checker
From: drkm <darkman_spam@xxxxxxxx>
Date: Fri, 18 Nov 2005 17:09:48 +0100 (CET)
gcc strong typing warning
Michael Kay wrote:

> One also has to be careful not to be too aggressive in
> type inferencing, particularly with this situation where
> the expression is "void" (guaranteed to return nothing)
> rather than actually being erroneous.

  Yes.  It's why, I guess, Saxon emits warnings instead of
treating them as errors.  Actually, I was surprised when I
looked for the option to pass to Saxon to activate the
static type-checks, because it needs no option.

  IMHO, it could be intresting to have a set of warning
options, for example to toggle warnings on these "void"
expressions, or to treat warnings as errors, or to toggle
other kind of warning.  Like the C++ front-end of GCC (and
others) has a plethora of warning-related options.

  PS: Maybe this discussion has to go on the Saxon ML.  I
don't know.




Appel audio GRATUIT partout dans le monde avec le nouveau Yahoo! Messenger 
Tilichargez cette version sur http://fr.messenger.yahoo.com

Current Thread


Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
First Name
Last Name
Subscribe in XML format
RSS 2.0
Atom 0.3
Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.