# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1479754671 -3600
# Node ID e28858d7f9d5d5e4e8b2e7da4243f3734084d9e5
# Parent  1977ae2cb16d966eddf8cc76b701e68ef41f4c1b
Added alias serialisation in order to preserve origin information for imported
instances in the cached data.

diff -r 1977ae2cb16d -r e28858d7f9d5 referencing.py
--- a/referencing.py	Mon Nov 21 19:03:20 2016 +0100
+++ b/referencing.py	Mon Nov 21 19:57:51 2016 +0100
@@ -50,7 +50,8 @@
         if self.kind == "<var>":
             return self.kind
         else:
-            return "%s:%s" % (self.kind, self.origin)
+            alias = self.name and ";%s" % self.name or ""
+            return "%s:%s%s" % (self.kind, self.origin, alias)
 
     def __hash__(self):
 
@@ -213,6 +214,8 @@
 
     elif ":" in s:
         kind, origin = s.split(":")
+        if ";" in origin:
+            origin, name = origin.split(";")
         return Reference(kind, origin, name)
 
     # Kind-only, origin is indicated name.