1.1 --- a/encoders.py Tue Oct 25 00:12:01 2016 +0200
1.2 +++ b/encoders.py Tue Oct 25 00:12:34 2016 +0200
1.3 @@ -227,7 +227,7 @@
1.4 # Convert type name arguments to position and code symbols.
1.5
1.6 elif op in typename_ops:
1.7 - arg = "#" % a[1]
1.8 + arg = encode_type_attribute(a[1])
1.9 a[1] = encode_symbol("pos", arg)
1.10 a.insert(2, encode_symbol("code", arg))
1.11
1.12 @@ -296,6 +296,12 @@
1.13
1.14 return "__%s%s" % (symbol_type, path and "_%s" % encode_path(path) or "")
1.15
1.16 +def encode_type_attribute(path):
1.17 +
1.18 + "Encode the special type attribute for 'path'."
1.19 +
1.20 + return "#%s" % path
1.21 +
1.22
1.23
1.24 # Output language reserved words.