This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1634 - [FS] "type correct", "type safe", "type-safe", "well-typed"
Summary: [FS] "type correct", "type safe", "type-safe", "well-typed"
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows 2000
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-15 21:38 UTC by Fred Zemke
Modified: 2007-01-16 17:29 UTC (History)
0 users

See Also:

Attachments

Description Fred Zemke 2005-07-15 21:38:56 UTC 
3.2.3 Static typing judgment
The last two words of this section are "type correct".  The phrases
"type safe", "type-safe" and "well-typed" are also found in 
various places.  What is the relationship 
between these terms?  I suspect they are all the same.  Please
pick one and use it consistently.  A formal 
definition, with hotlinks to it, would be appropriate.
Comment 1 Jerome Simeon 2005-07-19 17:12:00 UTC 
I believe this is editorial.
- Jerome
Comment 2 Jerome Simeon 2006-04-15 21:47:23 UTC 
Now uses 'well-typed' consistently.
- Jerome