From ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 9 Dec 2005 11:45:57 +0000
Subject: Transfer: changed syntax to remove the mandatory type annotation in
 let.

---
 transfer/examples/numerals.tra | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'transfer/examples/numerals.tra')

diff --git a/transfer/examples/numerals.tra b/transfer/examples/numerals.tra
index 31bac33ac..2c2718130 100644
--- a/transfer/examples/numerals.tra
+++ b/transfer/examples/numerals.tra
@@ -85,8 +85,8 @@ int2bin = int2bin_ End
 
 int2bin_ : Binary_Tree Bin -> Integer -> Binary_Tree Bin
 int2bin_ b 0 = b
-int2bin_ b n = let d : Integer = if n % 2 == 0 then Zero else One
-		   q : Integer = n / 2
+int2bin_ b n = let d = if n % 2 == 0 then Zero else One
+		   q = n / 2
                 in int2bin_ (d b) q
 
 num2bin : Tree Numeral -> Binary_Tree Bin
-- 
cgit v1.2.3