From 2159e0cec3aa62a8822f1f42f0d14b55df445676 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 11 Dec 2011 19:57:34 +0000
Subject: 	* interp/g-opt.boot (inlineLocals!): Single-used temporaries
 should go. 	(spliceSeqArgs): Splice sequences drapped in %scope cloths
 too.

---
 src/algebra/list.spad.pamphlet | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/algebra/list.spad.pamphlet')

diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet
index 6e60ef80..ea7960fb 100644
--- a/src/algebra/list.spad.pamphlet
+++ b/src/algebra/list.spad.pamphlet
@@ -207,6 +207,7 @@ List(S:Type): Exports == Implementation where
     merge!(f, p, q) ==
       empty? p => q
       empty? q => p
+      r,t: %
       %peq(p, q) => error "cannot merge a list into itself"
       if f(%head p, %head q)
         then (r := t := p; p := %tail p)
-- 
cgit v1.2.3