Skip to content
This repository was archived by the owner on Nov 1, 2021. It is now read-only.

Commit ce47c62

Browse files
glennslglennsl
committed
update bs-platform
1 parent d573404 commit ce47c62

File tree

98 files changed

+473
-379
lines changed

Some content is hidden

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

98 files changed

+473
-379
lines changed

‎lib/js/examples/dom_example.js‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
11
'use strict';
22

33
var Curry = require("bs-platform/lib/js/curry.js");
4+
var Webapi = require("../src/Webapi.js");
45
var Caml_option = require("bs-platform/lib/js/caml_option.js");
6+
var Webapi__Dom = require("../src/Webapi/Webapi__Dom.js");
57
var Webapi__Dom__Element = require("../src/Webapi/Webapi__Dom/Webapi__Dom__Element.js");
68
var Webapi__Dom__Document = require("../src/Webapi/Webapi__Dom/Webapi__Dom__Document.js");
79
var Caml_builtin_exceptions = require("bs-platform/lib/js/caml_builtin_exceptions.js");

‎lib/js/src/Webapi.js‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
'use strict';
22

3+
var Webapi__Dom = require("./Webapi/Webapi__Dom.js");
34

45
var Base64 = 0;
56

@@ -16,4 +17,4 @@ exports.Canvas = Canvas;
1617
exports.Dom = Dom;
1718
exports.$$File = $$File;
1819
exports.Url = Url;
19-
/* No side effect */
20+
/* Webapi__Dom Not a pure module */

‎lib/js/src/Webapi/Webapi__Canvas.js‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
'use strict';
22

33

4-
var CanvasElement = /* module */[];
4+
var CanvasElement = { };
55

66
var Canvas2d = 0;
77

‎lib/js/src/Webapi/Webapi__Canvas/Webapi__Canvas__Canvas2d.js‎

Lines changed: 23 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -3,31 +3,31 @@
33
var Curry = require("bs-platform/lib/js/curry.js");
44
var Caml_builtin_exceptions = require("bs-platform/lib/js/caml_builtin_exceptions.js");
55

6-
var Composite = /* module */[
7-
/* sourceOver */"source-over",
8-
/* sourceIn */"source-in",
9-
/* sourceOut */"source-out",
10-
/* sourceAtop */"source-atop",
11-
/* destinationOver */"destination-over",
12-
/* destinationIn */"destination-in",
13-
/* destinationOut */"destination-out",
14-
/* destinationAtop */"destination-atop",
15-
/* lighter */"lighter",
16-
/* copy */"copy",
17-
/* xor */"xor"
18-
];
6+
var Composite = {
7+
sourceOver: "source-over",
8+
sourceIn: "source-in",
9+
sourceOut: "source-out",
10+
sourceAtop: "source-atop",
11+
destinationOver: "destination-over",
12+
destinationIn: "destination-in",
13+
destinationOut: "destination-out",
14+
destinationAtop: "destination-atop",
15+
lighter: "lighter",
16+
copy: "copy",
17+
xor: "xor"
18+
};
1919

20-
var LineCap = /* module */[
21-
/* butt */"butt",
22-
/* round */"round",
23-
/* square */"square"
24-
];
20+
var LineCap = {
21+
butt: "butt",
22+
round: "round",
23+
square: "square"
24+
};
2525

26-
var LineJoin = /* module */[
27-
/* round */"round",
28-
/* bevel */"bevel",
29-
/* miter */"miter"
30-
];
26+
var LineJoin = {
27+
round: "round",
28+
bevel: "bevel",
29+
miter: "miter"
30+
};
3131

3232
function setStrokeStyle(ctx, param, v) {
3333
ctx.strokeStyle = v;

‎lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__AnimationEvent.js‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22

33
var Webapi__Dom__Event = require("./Webapi__Dom__Event.js");
44

5-
var include = Webapi__Dom__Event.Impl(/* module */[]);
5+
var include = Webapi__Dom__Event.Impl({ });
66

7-
var eventPhase = include[0];
7+
var eventPhase = include.eventPhase;
88

99
exports.eventPhase = eventPhase;
1010
/* include Not a pure module */

‎lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__Attr.js‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,11 @@
33
var Webapi__Dom__Node = require("./Webapi__Dom__Node.js");
44
var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
55

6-
var include = Webapi__Dom__Node.Impl(/* module */[]);
6+
var include = Webapi__Dom__Node.Impl({ });
77

8-
Webapi__Dom__EventTarget.Impl(/* module */[]);
8+
Webapi__Dom__EventTarget.Impl({ });
99

10-
var nodeType = include[0];
10+
var nodeType = include.nodeType;
1111

1212
exports.nodeType = nodeType;
1313
/* include Not a pure module */

‎lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__BeforeUnloadEvent.js‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22

33
var Webapi__Dom__Event = require("./Webapi__Dom__Event.js");
44

5-
var include = Webapi__Dom__Event.Impl(/* module */[]);
5+
var include = Webapi__Dom__Event.Impl({ });
66

7-
var eventPhase = include[0];
7+
var eventPhase = include.eventPhase;
88

99
exports.eventPhase = eventPhase;
1010
/* include Not a pure module */

‎lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__CdataSection.js‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -7,19 +7,19 @@ var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
77
var Webapi__Dom__CharacterData = require("./Webapi__Dom__CharacterData.js");
88
var Webapi__Dom__NonDocumentTypeChildNode = require("./Webapi__Dom__NonDocumentTypeChildNode.js");
99

10-
var include = Webapi__Dom__Node.Impl(/* module */[]);
10+
var include = Webapi__Dom__Node.Impl({ });
1111

12-
Webapi__Dom__EventTarget.Impl(/* module */[]);
12+
Webapi__Dom__EventTarget.Impl({ });
1313

14-
Webapi__Dom__CharacterData.Impl(/* module */[]);
14+
Webapi__Dom__CharacterData.Impl({ });
1515

16-
Webapi__Dom__NonDocumentTypeChildNode.Impl(/* module */[]);
16+
Webapi__Dom__NonDocumentTypeChildNode.Impl({ });
1717

18-
Webapi__Dom__ChildNode.Impl(/* module */[]);
18+
Webapi__Dom__ChildNode.Impl({ });
1919

20-
Webapi__Dom__Slotable.Impl(/* module */[]);
20+
Webapi__Dom__Slotable.Impl({ });
2121

22-
var nodeType = include[0];
22+
var nodeType = include.nodeType;
2323

2424
exports.nodeType = nodeType;
2525
/* include Not a pure module */

‎lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__CharacterData.js‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -6,18 +6,18 @@ var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
66
var Webapi__Dom__NonDocumentTypeChildNode = require("./Webapi__Dom__NonDocumentTypeChildNode.js");
77

88
function Impl(T) {
9-
return /* module */[];
9+
return { };
1010
}
1111

12-
var include = Webapi__Dom__Node.Impl(/* module */[]);
12+
var include = Webapi__Dom__Node.Impl({ });
1313

14-
Webapi__Dom__EventTarget.Impl(/* module */[]);
14+
Webapi__Dom__EventTarget.Impl({ });
1515

16-
Webapi__Dom__NonDocumentTypeChildNode.Impl(/* module */[]);
16+
Webapi__Dom__NonDocumentTypeChildNode.Impl({ });
1717

18-
Webapi__Dom__ChildNode.Impl(/* module */[]);
18+
Webapi__Dom__ChildNode.Impl({ });
1919

20-
var nodeType = include[0];
20+
var nodeType = include.nodeType;
2121

2222
exports.Impl = Impl;
2323
exports.nodeType = nodeType;

‎lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__ChildNode.js‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33

44
function Impl(T) {
5-
return /* module */[];
5+
return { };
66
}
77

88
exports.Impl = Impl;

0 commit comments

Comments
 (0)