File tree Expand file tree Collapse file tree 2 files changed +19
-0
lines changed Expand file tree Collapse file tree 2 files changed +19
-0
lines changed Original file line number Diff line number Diff line change @@ -19,6 +19,12 @@ for (let i = 0; i < process.argv.length; ++i) {
19
19
case "-iter" :
20
20
mode = "iter" ;
21
21
break ;
22
+ case "-record-iter" :
23
+ mode = "record-iter" ;
24
+ break ;
25
+ case "-record-map" :
26
+ mode = "record-map" ;
27
+ break ;
22
28
case "-i" :
23
29
++ i ;
24
30
input = process . argv [ i ] ;
@@ -34,6 +40,8 @@ var node_types = require("./node_types");
34
40
var map_maker = require ( "./map_maker" ) ;
35
41
var fold_maker = require ( "./fold_maker" ) ;
36
42
var iter_maker = require ( "./iter_maker" ) ;
43
+ var record_iter = require ( "./record_iter" ) ;
44
+ var record_map = require ( "./record_map" ) ;
37
45
// var p = new P()
38
46
( async ( ) => {
39
47
await P . init ( ) ;
@@ -52,5 +60,11 @@ var iter_maker = require("./iter_maker");
52
60
case "iter" :
53
61
fs . writeFileSync ( output , iter_maker . make ( typedefs ) , "utf8" ) ;
54
62
break ;
63
+ case "record-iter" :
64
+ fs . writeFileSync ( output , record_iter . make ( typedefs ) , "utf8" ) ;
65
+ break ;
66
+ case "record-map" :
67
+ fs . writeFileSync ( output , record_map . make ( typedefs ) , "utf8" ) ;
68
+ break ;
55
69
}
56
70
} ) ( ) ;
Original file line number Diff line number Diff line change @@ -1586,6 +1586,11 @@ o core/js_map.ml: p4of core/j.ml
1586
1586
flags = -map
1587
1587
o core/js_iter.ml: p4of core/j.ml
1588
1588
flags = -iter
1589
+ o core/js_record_iter.ml: p4of core/j.ml
1590
+ flags = -record-iter
1591
+ o core/js_record_map.ml: p4of core/j.ml
1592
+ flags = -record-map
1593
+
1589
1594
o common/bs_version.ml : mk_bsversion build_version.js ../package.json
1590
1595
1591
1596
o ../${
You can’t perform that action at this time.
0 commit comments