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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
#ifndef _ART_H
#define _ART_H
#include <stdint.h>
/* FileOffset is just a byte-pointer into the file.
* There are four distinguished values that are otherwise not valid pointers.
*/
typedef uint32_t FileOffset;
#define Root 0x0
#define Unevaluated 0x1
#define Entered 0x2
#define Interrupted 0x3
#define Lambda 0x4
#define DoLambda 0x5
/* A tag byte has four interior fields:
* 7 | 6 | 5 | 4 3 2 1 0
* free | src? | bool | tag value |
*/
/* bit 6 indicates whether there is a SrcPos for the use-position of an expr */
#define HasSrcPos 0x40
#define hasSrcPos(x) ((x)&HasSrcPos)
/* bit 5 holds a boolean which is used for various purposes in different exps */
#define IsEntered 0x20
#define LocalDef 0x20
#define HasFields 0x20
#define TracedModule 0x20
#define isEntered(x) ((x)&isEntered)
#define localDef(x) ((x)&LocalDef)
#define hasFields(x) ((x)&HasFields)
#define tracedModule(x) ((x)&TracedModule)
/* Tag values: the lower 5 bits of the tag byte */
#define lower5(x) ((x)&0x1f)
#define Module 0x00
#define SrcPos 0x01
#define ExpApp 0x02
#define ExpValueApp 0x03
#define ExpChar 0x04
#define ExpInt 0x05
#define ExpInteger 0x06
#define ExpRat 0x07
#define ExpRational 0x08
#define ExpFloat 0x09
#define ExpDouble 0x0a
#define ExpValueUse 0x0b
#define ExpConstUse 0x0c
#define ExpConstDef 0x0d
#define ExpGuard 0x0e
#define ExpCase 0x0f
#define ExpIf 0x10
#define ExpFieldUpdate 0x11
#define ExpProjection 0x12
#define ExpHidden 0x13
#define ExpForward 0x14
#define ExpDoStmt 0x15
#define AtomVariable 0x1a
#define AtomConstructor 0x1b
#define AtomAbstract 0x1c
#define ListCons 0x1d
#define eof 0x1f /* Note: dummy eof value is lower5(-1) */
/* Handy definitions for Booleans */
typedef unsigned int Bool;
#ifndef False
#define False 0
#endif
#ifndef True
#define True 1
#endif
#endif
|
