mescc: Refactor type system: introduce <array>, <pointer>, <var>.
[mes.git] / scaffold / tests / t.c
1 /* -*-comment-start: "//";comment-end:""-*-
2  * Mes --- Maxwell Equations of Software
3  * Copyright © 2018 Jan (janneke) 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
22 int puts (char const*);
23 #include <string.h>
24 char global_arena[10];
25 int global_i = 1;
26 int global_unitialized;
27 char* global_string = "foo";
28 char global_array[8] = "XXX";
29 char *global_chars = global_array;
30 typedef int SCM;
31 enum type_t {TCHAR};
32 char *env[] = {"foo", "bar", "baz", 0};
33 char *list[2] = {"foo\n", "bar\n"};
34
35 struct foo {int length; char* string;};
36 struct foo f = {3, "foo"};
37 struct foo g_foes[2];
38 int g_foe;
39
40 struct anon {struct {int bar; int baz;};};
41
42 struct here {int and;} there;
43
44 int
45 main (int argc, char* argv[])
46 {
47   int i;
48   int j = 1;
49   int k, l = 1;
50   if (j != 1)
51     return 1;
52   if (l != 1)
53     return 2;
54   if (global_i != 1)
55     return 3;
56   global_arena[1] = 0;
57   if (global_i != 1)
58     return 4;
59   if (global_unitialized != 0)
60     return 5;
61   if (strcmp (global_string, "foo"))
62     return 6;
63   char *s = "bar";
64   if (strcmp (s, "bar"))
65     return 7;
66   if (*global_array != 'X')
67     return 8;
68   if (*global_chars != 'X')
69     return 9;
70   SCM x = 0;
71   if (x != 0)
72     return 9;
73   if (TCHAR != 0)
74     return 11;
75   if (strncmp (argv[0], "scaffold/test", 5))
76     return 12;
77   if (strcmp (env[0], "foo"))
78     return 13;
79   if (strcmp (env[2], "baz"))
80     return 14;
81   if (env[3])
82     return 15;
83   if (f.length != 3)
84     return 16;
85   if (strcmp (f.string, "foo"))
86     return 17;
87   struct foo g = {4, "baar"};
88   if (g.length != 4)
89     return 18;
90   if (strcmp (g.string, "baar"))
91     return 19;
92   struct foo f = {3, "foo"};
93   g_foes[0] = f;
94   g_foes[1] = f;
95   if (g_foe)
96     return 20;
97   char *strings[] = { "one\n", "two\n", "three\n", 0 };
98   char **p = strings;
99   while (*p) puts (*p++);
100   if (strcmp (strings[1], "two\n"))
101     return 21;
102   p = list;
103   struct anon a = {3,4};
104   eputs ("bar:"); eputs (itoa (a.bar)); eputs ("\n");
105   eputs ("baz:"); eputs (itoa (a.baz)); eputs ("\n");
106   if (a.bar != 3) return 22;
107   if (a.baz != 4) return 23;
108
109   i = 1;
110   int lst[6] = {-1, 1 - 1, i, 2, 3};
111   for (int i = 0; i < 4; i++)
112     {
113       puts ("i: "); puts (itoa (lst[i])); puts ("\n");
114       if (lst[i+1] != i)
115         return 30 + i;
116     }
117
118   return 0;
119 }