resolve types in protocols

1 files changed, 7 insertions, 4 deletions

diff --git a/tools/Scanner.lean b/tools/Scanner.lean
index d6962c7..81b4181 100644
--- a/tools/Scanner.lean
+++ b/tools/Scanner.lean
@@ -1,22 +1,25 @@
 import Scanner.Protocol
 import Scanner.Parser
+import Scanner.Processor
 
 open WaylandScanner
 
-def parseProtocol (path : System.FilePath) : IO ProtocolDesc := do
+def parseRawProtocol (path : System.FilePath) : IO Raw.ProtocolDesc := do
   parse (← IO.FS.readFile path)
     |>.mapError (fun ε ↦ s!"{path}: {ε}")
     |> IO.ofExcept
 
 def process (rootModule : String) (outPath : System.FilePath) (srcPath : System.FilePath) : IO UInt32 := do
-  let protocols ← (← srcPath.readDir)
+  let rawProtocols ← (← srcPath.readDir)
     |>.map IO.FS.DirEntry.path
-    |>.mapM parseProtocol
+    |>.mapM parseRawProtocol
+  let clientProtocols ← processProtocols rawProtocols
+    |> IO.ofExcept
   let rootModuleComponents := rootModule.split "."
     |>.map String.Slice.toString
     |>.toArray
   let rootModulePath := rootModuleComponents.foldl (· / ·) outPath
-  IO.println (reprStr protocols)
+  IO.println (reprStr clientProtocols)
   IO.FS.createDirAll rootModulePath
   let indexPath := rootModulePath.addExtension "lean"
   IO.FS.writeFile indexPath ""