@@ -44,93 +44,93 @@ typedef struct Val {
4444typedef struct Val * VAL;
4545
4646typedef struct Con {
47− Hdr hdr;
48− uint32_t tag;
49− uint32_t arity;
50− VAL args[0];
47+ Hdr hdr;
48+ uint32_t tag;
49+ uint32_t arity;
50+ VAL args[0];
5151} Con;
5252
5353typedef struct Array {
54− Hdr hdr;
55− VAL array[0];
54+ Hdr hdr;
55+ VAL array[0];
5656} Array;
5757
5858typedef struct Int {
59− Hdr hdr;
60− int i;
59+ Hdr hdr;
60+ int i;
6161} Int;
6262
6363typedef struct BigInt {
64− Hdr hdr;
65− char big[0];
64+ Hdr hdr;
65+ char big[0];
6666} BigInt;
6767
6868typedef struct Float {
69− Hdr hdr;
70− double f;
69+ Hdr hdr;
70+ double f;
7171} Float;
7272
7373typedef struct String {
74− Hdr hdr;
75− size_t slen;
74+ Hdr hdr;
75+ size_t slen;
7676#define _null hdr.u8
77− char str[0];
77+ char str[0];
7878} String;
7979
8080typedef struct StrOffset {
81− Hdr hdr;
82− String * base;
83− size_t offset;
81+ Hdr hdr;
82+ String * base;
83+ size_t offset;
8484} StrOffset;
8585
8686typedef struct Bits8 {
87− Hdr hdr;
88− uint8_t bits8;
87+ Hdr hdr;
88+ uint8_t bits8;
8989} Bits8;
9090
9191typedef struct Bits16 {
92− Hdr hdr;
93− uint16_t bits16;
92+ Hdr hdr;
93+ uint16_t bits16;
9494} Bits16;
9595
9696typedef struct Bits32 {
97− Hdr hdr;
98− uint32_t bits32;
97+ Hdr hdr;
98+ uint32_t bits32;
9999} Bits32;
100100
101101typedef struct Bits64 {
102− Hdr hdr;
103− uint64_t bits64;
102+ Hdr hdr;
103+ uint64_t bits64;
104104} Bits64;
105105
106106typedef struct Ptr {
107− Hdr hdr;
108− void * ptr;
107+ Hdr hdr;
108+ void * ptr;
109109} Ptr;
110110
111111typedef struct Ref {
112− Hdr hdr;
113− VAL ref;
112+ Hdr hdr;
113+ VAL ref;
114114} Ref;
115115
116116typedef struct Fwd {
117− Hdr hdr;
118− VAL fwd;
117+ Hdr hdr;
118+ VAL fwd;
119119} Fwd;
120120
121121typedef struct ManagedPtr {
122− Hdr hdr;
123− char mptr[0];
122+ Hdr hdr;
123+ char mptr[0];
124124} ManagedPtr;
125125
126126typedef struct RawData {
127− Hdr hdr;
128− char raw[0];
127+ Hdr hdr;
128+ char raw[0];
129129} RawData;
130130
131131typedef struct CDataC {
132− Hdr hdr;
133− CHeapItem * item;
132+ Hdr hdr;
133+ CHeapItem * item;
134134} CDataC;
135135
136136struct VM;
@@ -241,11 +241,11 @@ typedef void(*func)(VM*, VAL*);
241241
242242// Retrieving values
243243static inline char * getstr(String * x) {
244− return x->_null? NULL : x->str;
244+ return x->_null? NULL : x->str;
245245}
246246
247247static inline size_t getstrlen(String * x) {
248− return x->slen;
248+ return x->slen;
249249}
250250
251251#define GETSTR(x) (ISSTR(x) ? getstr((String*)(x)) : GETSTROFF(x))
@@ -383,9 +383,9 @@ static inline Con * allocConF(VM * vm, unsigned tag, unsigned arity, int outer)
383383}
384384
385385static inline Array * allocArrayF(VM * vm, size_t len, int outer) {
386− Array * cl = iallocate(vm, sizeof(*cl) + sizeof(VAL) * len, outer);
387− SETTY(cl, CT_ARRAY);
388− return cl;
386+ Array * cl = iallocate(vm, sizeof(*cl) + sizeof(VAL) * len, outer);
387+ SETTY(cl, CT_ARRAY);
388+ return cl;
389389}
390390
391391
@@ -532,13 +532,21 @@ void stackOverflow(void);
532532#include "idris_gmp.h"
533533
534534static inline size_t valSize(VAL v) {
535− return v->hdr.sz;
535+ return v->hdr.sz;
536536}
537537
538538static inline size_t aligned(size_t sz) {
539− return (sz + 7) & ~7;
539+ return (sz + 7) & ~7;
540540}
541541
542542VM* get_vm(void);
543543
544544#endif
545+
546+/*
547+ Local variables: **
548+ c-file-style: "bsd" **
549+ c-basic-offset: 4 **
550+ indent-tabs-mode: nil **
551+ End: **
552+*/