vere/pkg/noun/jets/e/tape.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

/// @file

#include "jets/q.h"
#include "jets/w.h"

#include "noun.h"


  static u3_noun
  _norm(u3_noun a)
  {
    if ( c3n == u3du(a) ) {
      return u3_nul;
    } else {
      return u3nc(((c3y == u3du(u3h(a))) ? u3_nul : u3k(u3h(a))),
                  _norm(u3t(a)));
    }
  }

  static u3_noun
  _good(u3_noun a)
  {
    while ( 1 ) {
      if ( u3_nul == a ) {
        return c3y;
      }
      if ( c3n == u3ud(u3h(a)) ) {
        return c3n;
      }
      a = u3t(a);
    }
  }

  u3_noun
  u3qe_tape(u3_noun a)
  {
    if ( c3y == _good(a) ) {
      return u3k(a);
    } else {
      return _norm(a);
    }
  }
  u3_noun
  u3we_tape(u3_noun cor)
  {
    u3_noun a;

    if ( (u3_none == (a = u3r_at(u3x_sam, cor))) ) {
      return u3m_bail(c3__fail);
    } else {
      return u3qe_tape(a);
    }
  }