diff options
author | dos-reis <gdr@axiomatics.org> | 2012-05-23 06:52:01 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-05-23 06:52:01 +0000 |
commit | 3a808df770c8702a9e330effa0b6e462eaaaee01 (patch) | |
tree | 70ae032632cb6510146ca6eecb8f2ed343da7096 /src/boot/pile.boot | |
parent | b12753cada058f5fafd9f6aeaa7d2e932eb8ff23 (diff) | |
download | open-axiom-3a808df770c8702a9e330effa0b6e462eaaaee01.tar.gz |
* boot/includer.boot (%SourceLine): New datatype.
(makeSourceLine): New.
Use source line macro accessors.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
Diffstat (limited to 'src/boot/pile.boot')
-rw-r--r-- | src/boot/pile.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/pile.boot b/src/boot/pile.boot index f789067d..f374fee9 100644 --- a/src/boot/pile.boot +++ b/src/boot/pile.boot @@ -57,14 +57,14 @@ shoePileInsert (s)== shoePileTree(n,s)== bStreamNull s => [false,n,[],s] - [h,t] := [first s,rest s] + [h,:t] := s hh := shoePileColumn h hh > n => shoePileForests(h,hh,t) [false,n,[],s] eqshoePileTree(n,s)== bStreamNull s => [false,n,[],s] - [h,t] := [first s,rest s] + [h,:t] := s hh := shoePileColumn h hh = n => shoePileForests(h,hh,t) [false,n,[],s] |