Skip to content

Commit 2859991

Browse files
nojafnojaf
committed
Don't emit non existing constructors for html elements
1 parent 1f61033 commit 2859991

File tree

339 files changed

+6
-932
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

339 files changed

+6
-932
lines changed

‎src/CSSFontLoadingAPI.re.js

-2
This file was deleted.

‎src/CSSFontLoadingAPI/FontFace.re.js

-2
This file was deleted.

‎src/CSSFontLoadingAPI/FontFaceSet.re.js

-2
This file was deleted.

‎src/CanvasAPI.re.js

-2
This file was deleted.

‎src/CanvasAPI/ImageBitmap.re.js

-2
This file was deleted.

‎src/CanvasAPI/OffscreenCanvas.re.js

-2
This file was deleted.

‎src/ChannelMessagingAPI.re.js

-2
This file was deleted.

‎src/ChannelMessagingAPI/MessagePort.re.js

-2
This file was deleted.

‎src/ClipboardAPI.re.js

-2
This file was deleted.

‎src/ClipboardAPI/Clipboard.re.js

-2
This file was deleted.

‎src/ClipboardAPI/ClipboardItem.re.js

-2
This file was deleted.

‎src/CredentialManagementAPI.re.js

-2
This file was deleted.

‎src/CredentialManagementAPI/CredentialsContainer.re.js

-2
This file was deleted.

‎src/DOMAPI.re.js

-2
This file was deleted.

‎src/DOMAPI/Animation.re.js

-2
This file was deleted.

‎src/DOMAPI/AnimationEffect.re.js

-2
This file was deleted.

‎src/DOMAPI/CSSRuleList.re.js

-2
This file was deleted.

‎src/DOMAPI/CSSStyleDeclaration.re.js

-2
This file was deleted.

‎src/DOMAPI/CSSStyleSheet.re.js

-2
This file was deleted.

‎src/DOMAPI/CSSStyleValue.re.js

-2
This file was deleted.

‎src/DOMAPI/CaretPosition.re.js

-2
This file was deleted.

‎src/DOMAPI/CharacterData.re.js

-2
This file was deleted.

‎src/DOMAPI/Comment.re.js

-2
This file was deleted.

‎src/DOMAPI/CustomElementRegistry.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMImplementation.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMMatrix.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMMatrixReadOnly.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMPoint.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMPointReadOnly.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMRect.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMRectList.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMRectReadOnly.re.js

-2
This file was deleted.

‎src/DOMAPI/DOMTokenList.re.js

-2
This file was deleted.

‎src/DOMAPI/Document.re.js

-2
This file was deleted.

‎src/DOMAPI/DocumentFragment.re.js

-2
This file was deleted.

‎src/DOMAPI/DocumentTimeline.re.js

-2
This file was deleted.

‎src/DOMAPI/Element.re.js

-2
This file was deleted.

‎src/DOMAPI/ElementInternals.re.js

-2
This file was deleted.

‎src/DOMAPI/FileList.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLAnchorElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLAnchorElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement)
7-
*/
8-
@new
9-
external make: unit => htmlAnchorElement = "HTMLAnchorElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLAreaElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLAreaElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement)
7-
*/
8-
@new
9-
external make: unit => htmlAreaElement = "HTMLAreaElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLAudioElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLAudioElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,6 @@ open EventAPI
44
open WebVTTAPI
55
open EncryptedMediaExtensionsAPI
66

7-
/**
8-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAudioElement)
9-
*/
10-
@new
11-
external make: unit => htmlAudioElement = "HTMLAudioElement"
12-
137
/**
148
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
159
*/

‎src/DOMAPI/HTMLBRElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLBRElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBRElement)
7-
*/
8-
@new
9-
external make: unit => htmlbrElement = "HTMLBRElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLBaseElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLBaseElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBaseElement)
7-
*/
8-
@new
9-
external make: unit => htmlBaseElement = "HTMLBaseElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLBodyElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLBodyElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBodyElement)
7-
*/
8-
@new
9-
external make: unit => htmlBodyElement = "HTMLBodyElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLButtonElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLButtonElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLButtonElement)
7-
*/
8-
@new
9-
external make: unit => htmlButtonElement = "HTMLButtonElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLCanvasElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLCanvasElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,6 @@ open EventAPI
44
open CanvasAPI
55
open MediaCaptureAndStreamsAPI
66

7-
/**
8-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCanvasElement)
9-
*/
10-
@new
11-
external make: unit => htmlCanvasElement = "HTMLCanvasElement"
12-
137
/**
148
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
159
*/

‎src/DOMAPI/HTMLCollection.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLCollectionOf.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLDListElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLDListElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDListElement)
7-
*/
8-
@new
9-
external make: unit => htmldListElement = "HTMLDListElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLDataElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLDataElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDataElement)
7-
*/
8-
@new
9-
external make: unit => htmlDataElement = "HTMLDataElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLDataListElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLDataListElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDataListElement)
7-
*/
8-
@new
9-
external make: unit => htmlDataListElement = "HTMLDataListElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLDialogElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLDialogElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDialogElement)
7-
*/
8-
@new
9-
external make: unit => htmlDialogElement = "HTMLDialogElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLDivElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLDivElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDivElement)
7-
*/
8-
@new
9-
external make: unit => htmlDivElement = "HTMLDivElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement)
7-
*/
8-
@new
9-
external make: unit => htmlElement = "HTMLElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLEmbedElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLEmbedElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLEmbedElement)
7-
*/
8-
@new
9-
external make: unit => htmlEmbedElement = "HTMLEmbedElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLFieldSetElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLFieldSetElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement)
7-
*/
8-
@new
9-
external make: unit => htmlFieldSetElement = "HTMLFieldSetElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

‎src/DOMAPI/HTMLFormControlsCollection.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLFormElement.re.js

-2
This file was deleted.

‎src/DOMAPI/HTMLFormElement.res

-6
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,6 @@ open DOMAPI
22
open Prelude
33
open EventAPI
44

5-
/**
6-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFormElement)
7-
*/
8-
@new
9-
external make: unit => htmlFormElement = "HTMLFormElement"
10-
115
/**
126
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/focus)
137
*/

0 commit comments

Comments
 (0)