1.1 --- a/encoders.py Sun Oct 30 22:33:22 2016 +0100
1.2 +++ b/encoders.py Mon Oct 31 18:26:36 2016 +0100
1.3 @@ -340,6 +340,14 @@
1.4 else:
1.5 return '"%s"' % str(value).replace('"', '\\"')
1.6
1.7 +def encode_literal_instantiator(path):
1.8 +
1.9 + """
1.10 + Encode a reference to an instantiator for a literal having the given 'path'.
1.11 + """
1.12 +
1.13 + return "__newliteral_%s" % encode_path(path)
1.14 +
1.15 def encode_literal_reference(n):
1.16
1.17 "Encode a reference to a literal constant with the number 'n'."