File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -143,7 +143,15 @@ module InputIdlJson =
143143 type InputIdlJsonType = JsonProvider< " inputfiles/sample.webidl.json" >
144144
145145 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)
147155
148156 let allTypedefsMap =
149157 inputIdl.Typedefs |> toNameMap
File renamed without changes.
You can’t perform that action at this time.
0 commit comments