File tree 2 files changed +9
-1
lines changed
2 files changed +9
-1
lines changed Original file line number Diff line number Diff line change @@ -143,7 +143,15 @@ module InputIdlJson =
143
143
type InputIdlJsonType = JsonProvider< " inputfiles/sample.webidl.json" >
144
144
145
145
let inputIdl =
146
- File.ReadAllText( GlobalVars.inputFolder + @" /browser.webidl.json" ) |> InputIdlJsonType.Parse
146
+ let jsons =
147
+ DirectoryInfo( GlobalVars.inputFolder + @" /idls" ) .GetFiles()
148
+ |> Array.map ( fun file -> file.FullName |> File.ReadAllText |> InputIdlJsonType.Parse)
149
+
150
+ let inline extractJsonArray f =
151
+ jsons |> Array.collect f |> Array.map ( fun item -> ( ^a : ( member JsonValue : JsonValue) item)) |> JsonValue.Array;
152
+
153
+ let list = [| ( " typedefs" , extractJsonArray ( fun json -> json.Typedefs)) |]
154
+ InputIdlJsonType.Root( JsonValue.Record list)
147
155
148
156
let allTypedefsMap =
149
157
inputIdl.Typedefs |> toNameMap
File renamed without changes.
You can’t perform that action at this time.
0 commit comments