diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-12-11 19:57:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-12-11 19:57:34 +0000 |
| commit | 2159e0cec3aa62a8822f1f42f0d14b55df445676 (patch) | |
| tree | 51fc54b8838ba03a8bc7b8f4e4af28849969b668 /src/algebra | |
| parent | d60b0772098f0907850b7cc520224a1bfb093e44 (diff) | |
| download | open-axiom-2159e0cec3aa62a8822f1f42f0d14b55df445676.tar.gz | |
* interp/g-opt.boot (inlineLocals!): Single-used temporaries should go.
(spliceSeqArgs): Splice sequences drapped in %scope cloths too.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/list.spad.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
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) |