Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

"SOURCE" #1850

Closed
BobFrankston opened this issue Jan 29, 2015 · 1 comment
Closed

"SOURCE" #1850

BobFrankston opened this issue Jan 29, 2015 · 1 comment
Labels
Bug A bug in TypeScript Domain: lib.d.ts The issue relates to the different libraries shipped with TypeScript Fixed A PR has been merged for this issue Revisit An issue worth coming back to
Milestone
TypeScript 1.5

Comments

@BobFrankston
Copy link

All HTML elements in lib.d.ts are lower case except for SOURCE which is upper case. Is there a reason for this. At a more general level these interfaces appear to be case insensitive -- the language needs a way of saying that.
@mhegazy mhegazy added the Bug A bug in TypeScript label Jan 29, 2015
@mhegazy mhegazy self-assigned this Jan 29, 2015
@mhegazy mhegazy added this to the TypeScript 1.5 milestone Jan 29, 2015
@mhegazy
Copy link
Contributor

mhegazy commented Jan 29, 2015

"SOURCE" we should be able to fix by updating our dom generation logic. the case sensitivity is a bigger issue. JS is case sensitive, yet the DOM is not. Suggestions are welcomed though.

@mhegazy mhegazy added the Domain: lib.d.ts The issue relates to the different libraries shipped with TypeScript label Feb 5, 2015
@mhegazy mhegazy modified the milestones: TypeScript 1.6, TypeScript 1.5 Feb 5, 2015
@mhegazy mhegazy added the Revisit An issue worth coming back to label Mar 24, 2015
@zhengbli zhengbli mentioned this issue Apr 7, 2015
Closed
@mhegazy mhegazy assigned zhengbli and unassigned mhegazy Apr 7, 2015
@zhengbli zhengbli mentioned this issue Apr 13, 2015
Merged
@mhegazy mhegazy added the Fixed A PR has been merged for this issue label Apr 17, 2015
@mhegazy mhegazy closed this as completed Apr 17, 2015
@microsoft microsoft locked and limited conversation to collaborators Jun 18, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Bug A bug in TypeScript Domain: lib.d.ts The issue relates to the different libraries shipped with TypeScript Fixed A PR has been merged for this issue Revisit An issue worth coming back to
Projects
None yet
Milestone
TypeScript 1.5
Development

No branches or pull requests
3 participants
@zhengbli @BobFrankston @mhegazy