From dc54207d3b49d05483f7dff718ae751970063784 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 9 Dec 2005 13:06:05 +0000
Subject: Transfer compiler: rename variables before doing any substitutions.

---
 transfer/examples/test.tra | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'transfer/examples')

diff --git a/transfer/examples/test.tra b/transfer/examples/test.tra
index 0abb933ef..bfd303ee5 100644
--- a/transfer/examples/test.tra
+++ b/transfer/examples/test.tra
@@ -1,4 +1,4 @@
 import nat
 import fib
 
--- main = natToInt (fibNat (intToNat 10))
\ No newline at end of file
+main = (\x -> (\x -> \x -> x) 1 x) 5
-- 
cgit v1.2.3