From 792be354f0cf16ff09e343d75e7556421d48ef22 Mon Sep 17 00:00:00 2001
From: Arnaud Vrac <rawoul@gmail.com>
Date: Mon, 19 Dec 2011 02:39:41 +0100
Subject: [PATCH] Parse static array types in prototypes in gltxt.py

---
 specs/scripts/gltxt.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/specs/scripts/gltxt.py b/specs/scripts/gltxt.py
index 07b7046..08b6a57 100755
--- a/specs/scripts/gltxt.py
+++ b/specs/scripts/gltxt.py
@@ -198,6 +198,11 @@ class TxtParser(LineParser):
             assert type == 'Void'
             return ''
         name = self.tokens.pop(0)
+        if self.tokens[0] == '[':
+            self.tokens.pop(0)
+            n = int(self.tokens.pop(0))
+            assert self.tokens.pop(0) == ']'
+            type = 'Array(%s, %d)' % (type, n)
         return '(%s, "%s")' % (type, name)
 
     def parse_type(self):
-- 
2.43.0