haskell-translator: convert unit types in type aliases

Signed-off-by: Corey Lewis <[email protected]>
seL4 · Sep 27, 2024 · 0fc72fd · 0fc72fd
1 parent 894ae73
commit 0fc72fd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/haskell-translator/lhs_pars.py b/tools/haskell-translator/lhs_pars.py
@@ -706,6 +706,8 @@ def typename_transform(line, header, d):
         # take off the prefix, leave Word32 or Word64 etc
         oldtype = oldtype[10:]
     oldtype = type_conv(oldtype)
+    # get rid of (), insert unit
+    oldtype = 'unit'.join(oldtype.split('()'))
     bits = oldtype.split()
     for bit in bits:
         d.typedeps.add(bit)