src/reader.c

   1 /* -*-comment-start: "//";comment-end:""-*-
   2  * Mes --- Maxwell Equations of Software
   3  * Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
   4  *
   5  * This file is part of Mes.
   6  *
   7  * Mes is free software; you can redistribute it and/or modify it
   8  * under the terms of the GNU General Public License as published by
   9  * the Free Software Foundation; either version 3 of the License, or (at
  10  * your option) any later version.
  11  *
  12  * Mes is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
  19  */
  20
  21 // #if _POSIX_SOURCE
  22 // #undef fputs
  23 // #undef fdputs
  24 // #undef fdputc
  25 // #endif
  26
  27 SCM
  28 ___end_of_mes___ ()
  29 {
  30   return 0;
  31 }
  32
  33 SCM
  34 read_input_file_env_ (SCM e, SCM a)
  35 {
  36   if (e == cell_nil) return e;
  37   return cons (e, read_input_file_env_ (read_env (a), a));
  38 }
  39
  40 SCM
  41 read_input_file_env (SCM a)
  42 {
  43   r0 = a;
  44   if (assq_ref_env (cell_symbol_read_input_file, r0) != cell_undefined)
  45     return apply (cell_symbol_read_input_file, cell_nil, r0);
  46   return read_input_file_env_ (read_env (r0), r0);
  47 }
  48
  49 int
  50 read_line_comment (int c)
  51 {
  52   if (c == '\n') return c;
  53   return read_line_comment (getchar ());
  54 }
  55
  56 SCM
  57 read_word (int c, SCM w, SCM a)
  58 {
  59   if (c == EOF && w == cell_nil) return cell_nil;
  60   if (c == '\t') return read_word ('\n', w, a);
  61   if (c == '\f') return read_word ('\n', w, a);
  62   if (c == '\n' && w == cell_nil) return read_word (getchar (), w, a);
  63   if (c == '\n' && VALUE (car (w)) == '.' && cdr (w) == cell_nil) return cell_dot;
  64   if (c == EOF || c == '\n') return lookup_ (w, a);
  65   if (c == ' ') return read_word ('\n', w, a);
  66   if (c == '(' && w == cell_nil) return read_list (a);
  67   if (c == '(') {ungetchar (c); return lookup_ (w, a);}
  68   if (c == ')' && w == cell_nil) {ungetchar (c); return cell_nil;}
  69   if (c == ')') {ungetchar (c); return lookup_ (w, a);}
  70   if (c == ';') {read_line_comment (c); return read_word ('\n', w, a);}
  71   return read_word (getchar (), append2 (w, cons (MAKE_CHAR (c), cell_nil)), a);
  72 }
  73
  74 int
  75 eat_whitespace (int c)
  76 {
  77   while (c == ' ' || c == '\t' || c == '\n' || c == '\f') c = getchar ();
  78   if (c == ';') return eat_whitespace (read_line_comment (c));
  79   return c;
  80 }
  81
  82 SCM
  83 read_list (SCM a)
  84 {
  85   int c = getchar ();
  86   c = eat_whitespace (c);
  87   if (c == ')') return cell_nil;
  88   SCM w = read_word (c, cell_nil, a);
  89   if (w == cell_dot)
  90     return car (read_list (a));
  91   return cons (w, read_list (a));
  92 }
  93
  94 SCM
  95 read_env (SCM a)
  96 {
  97   return read_word (getchar (), cell_nil, a);
  98 }
  99
 100 SCM
 101 lookup_ (SCM s, SCM a)
 102 {
 103   if (isdigit (VALUE (car (s))) || (VALUE (car (s)) == '-' && cdr (s) != cell_nil)) {
 104     SCM p = s;
 105     int sign = 1;
 106     if (VALUE (car (s)) == '-') {
 107       sign = -1;
 108       p = cdr (s);
 109     }
 110     int n = 0;
 111     while (p != cell_nil && isdigit (VALUE (car (p)))) {
 112       n *= 10;
 113       n += VALUE (car (p)) - '0';
 114       p = cdr (p);
 115     }
 116     if (p == cell_nil) return MAKE_NUMBER (n * sign);
 117   }
 118
 119   return lookup_symbol_ (s);
 120 }
 121
 122 int g_tiny = 0;
 123
 124 int
 125 dump ()
 126 {
 127   r1 = g_symbols;
 128   gc_push_frame ();
 129   gc ();
 130   gc_peek_frame ();
 131   char *p = (char*)g_cells;
 132   putchar ('M');
 133   putchar ('E');
 134   putchar ('S');
 135   putchar (g_stack >> 8);
 136   putchar (g_stack % 256);
 137   // See HACKING, simple crafted dump for tiny-mes.c
 138   if (g_tiny || getenv ("MES_TINY"))
 139     {
 140       eputs ("dumping TINY\n");
 141
 142       TYPE (9) = 0x2d2d2d2d;
 143       CAR (9) = 0x2d2d2d2d;
 144       CDR (9) = 0x3e3e3e3e;
 145
 146       TYPE (10) = TPAIR;
 147       CAR (10) = 11;
 148       CDR (10) = 12;
 149
 150       TYPE (11) = TCHAR;
 151       CAR (11) = 0x58585858;
 152       CDR (11) = 65;
 153
 154       TYPE (12) = TPAIR;
 155       CAR (12) = 13;
 156       CDR (12) = 1;
 157
 158       TYPE (13) = TCHAR;
 159       CAR (11) = 0x58585858;
 160       CDR (13) = 66;
 161
 162       TYPE (14) = 0x3c3c3c3c;
 163       CAR (14) = 0x2d2d2d2d;
 164       CDR (14) = 0x2d2d2d2d;
 165
 166       g_free = 15;
 167     }
 168   else
 169     {
 170       eputs ("dumping FULL\n");
 171       if (g_debug > 1)
 172         {
 173           eputs ("program r2=");
 174           display_error_ (r2);
 175           eputs ("\n");
 176         }
 177     }
 178
 179   for (int i=0; i<g_free * sizeof(struct scm); i++)
 180     putchar (*p++);
 181   return 0;
 182 }