Move optional type predicates to type.c.
[mes.git] / type.c
1 /* -*-comment-start: "//";comment-end:""-*-
2  * Mes --- Maxwell Equations of Software
3  * Copyright © 2016 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 !TYPE0
22
23 scm *
24 char_p (scm *x)
25 {
26   return x->type == CHAR ? &scm_t : &scm_f;
27 }
28
29 scm *
30 macro_p (scm *x)
31 {
32   return x->type == MACRO ? &scm_t : &scm_f;
33 }
34
35 scm *
36 number_p (scm *x)
37 {
38   return x->type == NUMBER ? &scm_t : &scm_f;
39 }
40
41 scm *
42 pair_p (scm *x)
43 {
44   return x->type == PAIR ? &scm_t : &scm_f;
45 }
46
47 scm *
48 string_p (scm *x)
49 {
50   return x->type == STRING ? &scm_t : &scm_f;
51 }
52
53 scm *
54 symbol_p (scm *x)
55 {
56   return x->type == SYMBOL ? &scm_t : &scm_f;
57 }
58
59 scm *
60 vector_p (scm *x)
61 {
62   return x->type == VECTOR ? &scm_t : &scm_f;
63 }
64
65 scm *
66 builtin_p (scm *x)
67 {
68   return (x->type == FUNCTION0
69           || x->type == FUNCTION1
70           || x->type == FUNCTION2
71           || x->type == FUNCTION3
72           || x->type == FUNCTIONn)
73     ? &scm_t : &scm_f;
74 }
75
76 // Non-types
77 scm *
78 null_p (scm *x)
79 {
80   return x == &scm_nil ? &scm_t : &scm_f;
81 }
82
83 scm *
84 atom_p (scm *x)
85 {
86   return (x->type == PAIR ? &scm_f : &scm_t);
87 }
88
89 scm *
90 boolean_p (scm *x)
91 {
92   return (x == &scm_t || x == &scm_f) ? &scm_t : &scm_f;
93 }
94 #endif
95
96 scm*make_number (int);
97 scm *
98 mes_type_of (scm *x)
99 {
100   return make_number (x->type);
101 }
102