From af7c92c0038763db2ba7d7049d7d18363b15089e Mon Sep 17 00:00:00 2001 From: Araq Date: Mon, 3 Sep 2012 00:55:44 +0200 Subject: term rewriting macros fully implemented; still buggy --- compiler/rodwrite.nim | 3 +++ 1 file changed, 3 insertions(+) (limited to 'compiler/rodwrite.nim') diff --git a/compiler/rodwrite.nim b/compiler/rodwrite.nim index 75e8a02a7..5be9a2439 100755 --- a/compiler/rodwrite.nim +++ b/compiler/rodwrite.nim @@ -233,6 +233,9 @@ proc encodeType(w: PRodWriter, t: PType, result: var string) = if t.containerID != 0: add(result, '@') encodeVInt(t.containerID, result) + if t.constraint != nil: + add(result, '`') + encodeNode(w, UnknownLineInfo(), t.constraint, result) encodeLoc(w, t.loc, result) for i in countup(0, sonsLen(t) - 1): if t.sons[i] == nil: -- cgit 1.4.1-2-gfad0