diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-03-31 23:37:49 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-03-31 23:37:49 +0000 |
| commit | 37a3397a82d94da8df1c0a0e48a39d43d17cce00 (patch) | |
| tree | ba22b11e235e2e5076b8982c3eb08c2d5759c8c9 /src/interp | |
| parent | 870f8e10ed59a075179c8f8687c38bd837bac41d (diff) | |
| download | open-axiom-37a3397a82d94da8df1c0a0e48a39d43d17cce00.tar.gz | |
* interp/pile.boot (insertpile): Tidy.
(pilePlusComments): Likewise.
(pileTree): Likewise.
(eqpileTree): Likewise.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/pile.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/pile.boot b/src/interp/pile.boot index ea83cd09..27ce4aad 100644 --- a/src/interp/pile.boot +++ b/src/interp/pile.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2010, Gabriel Dos Reis. +-- Copyright (C) 2007-2013, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -60,7 +60,7 @@ pilePlusComment t == insertpile (s)== npNull s => [false,0,[],s] - [h,t] := [first s,rest s] + [h,:t] := s pilePlusComment h => [h1,t1] := pilePlusComments s a := pileTree(-1,t1) @@ -71,7 +71,7 @@ insertpile (s)== pilePlusComments s== npNull s => [[],s] - [h,t] := [first s,rest s] + [h,:t] := s pilePlusComment h => [h1,t1]:=pilePlusComments t [[h,:h1],t1] @@ -79,14 +79,14 @@ pilePlusComments s== pileTree(n,s)== npNull s => [false,n,[],s] - [h,t] := [first s,rest s] + [h,:t] := s hh := pileColumn first h hh > n => pileForests(first h,hh,t) [false,n,[],s] eqpileTree(n,s)== npNull s => [false,n,[],s] - [h,t] := [first s,rest s] + [h,:t] := s hh := pileColumn first h hh = n => pileForests(first h,hh,t) [false,n,[],s] |