git.iko.soy/Idris-dev
on master help sign in
Clean up indentation
549e40fJorge Acereda
rts/idris_rts.h+53−45
compare with master
unifiedsplit
@@ -44,93 +44,93 @@ typedef struct Val {
44typedef struct Val * VAL;
44typedef struct Val * VAL;
45
45
46typedef struct Con {
46typedef struct Con {
47− Hdr hdr;
47+ Hdr hdr;
48− uint32_t tag;
48+ uint32_t tag;
49− uint32_t arity;
49+ uint32_t arity;
50− VAL args[0];
50+ VAL args[0];
51} Con;
51} Con;
52
52
53typedef struct Array {
53typedef struct Array {
54− Hdr hdr;
54+ Hdr hdr;
55− VAL array[0];
55+ VAL array[0];
56} Array;
56} Array;
57
57
58typedef struct Int {
58typedef struct Int {
59− Hdr hdr;
59+ Hdr hdr;
60− int i;
60+ int i;
61} Int;
61} Int;
62
62
63typedef struct BigInt {
63typedef struct BigInt {
64− Hdr hdr;
64+ Hdr hdr;
65− char big[0];
65+ char big[0];
66} BigInt;
66} BigInt;
67
67
68typedef struct Float {
68typedef struct Float {
69− Hdr hdr;
69+ Hdr hdr;
70− double f;
70+ double f;
71} Float;
71} Float;
72
72
73typedef struct String {
73typedef struct String {
74− Hdr hdr;
74+ Hdr hdr;
75− size_t slen;
75+ size_t slen;
76#define _null hdr.u8
76#define _null hdr.u8
77− char str[0];
77+ char str[0];
78} String;
78} String;
79
79
80typedef struct StrOffset {
80typedef struct StrOffset {
81− Hdr hdr;
81+ Hdr hdr;
82− String * base;
82+ String * base;
83− size_t offset;
83+ size_t offset;
84} StrOffset;
84} StrOffset;
85
85
86typedef struct Bits8 {
86typedef struct Bits8 {
87− Hdr hdr;
87+ Hdr hdr;
88− uint8_t bits8;
88+ uint8_t bits8;
89} Bits8;
89} Bits8;
90
90
91typedef struct Bits16 {
91typedef struct Bits16 {
92− Hdr hdr;
92+ Hdr hdr;
93− uint16_t bits16;
93+ uint16_t bits16;
94} Bits16;
94} Bits16;
95
95
96typedef struct Bits32 {
96typedef struct Bits32 {
97− Hdr hdr;
97+ Hdr hdr;
98− uint32_t bits32;
98+ uint32_t bits32;
99} Bits32;
99} Bits32;
100
100
101typedef struct Bits64 {
101typedef struct Bits64 {
102− Hdr hdr;
102+ Hdr hdr;
103− uint64_t bits64;
103+ uint64_t bits64;
104} Bits64;
104} Bits64;
105
105
106typedef struct Ptr {
106typedef struct Ptr {
107− Hdr hdr;
107+ Hdr hdr;
108− void * ptr;
108+ void * ptr;
109} Ptr;
109} Ptr;
110
110
111typedef struct Ref {
111typedef struct Ref {
112− Hdr hdr;
112+ Hdr hdr;
113− VAL ref;
113+ VAL ref;
114} Ref;
114} Ref;
115
115
116typedef struct Fwd {
116typedef struct Fwd {
117− Hdr hdr;
117+ Hdr hdr;
118− VAL fwd;
118+ VAL fwd;
119} Fwd;
119} Fwd;
120
120
121typedef struct ManagedPtr {
121typedef struct ManagedPtr {
122− Hdr hdr;
122+ Hdr hdr;
123− char mptr[0];
123+ char mptr[0];
124} ManagedPtr;
124} ManagedPtr;
125
125
126typedef struct RawData {
126typedef struct RawData {
127− Hdr hdr;
127+ Hdr hdr;
128− char raw[0];
128+ char raw[0];
129} RawData;
129} RawData;
130
130
131typedef struct CDataC {
131typedef struct CDataC {
132− Hdr hdr;
132+ Hdr hdr;
133− CHeapItem * item;
133+ CHeapItem * item;
134} CDataC;
134} CDataC;
135
135
136struct VM;
136struct VM;
@@ -241,11 +241,11 @@ typedef void(*func)(VM*, VAL*);
241
241
242// Retrieving values
242// Retrieving values
243static inline char * getstr(String * x) {
243static inline char * getstr(String * x) {
244− return x->_null? NULL : x->str;
244+ return x->_null? NULL : x->str;
245}
245}
246
246
247static inline size_t getstrlen(String * x) {
247static inline size_t getstrlen(String * x) {
248− return x->slen;
248+ return x->slen;
249}
249}
250
250
251#define GETSTR(x) (ISSTR(x) ? getstr((String*)(x)) : GETSTROFF(x))
251#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)
383}
383}
384
384
385static inline Array * allocArrayF(VM * vm, size_t len, int outer) {
385static inline Array * allocArrayF(VM * vm, size_t len, int outer) {
386− Array * cl = iallocate(vm, sizeof(*cl) + sizeof(VAL) * len, outer);
386+ Array * cl = iallocate(vm, sizeof(*cl) + sizeof(VAL) * len, outer);
387− SETTY(cl, CT_ARRAY);
387+ SETTY(cl, CT_ARRAY);
388− return cl;
388+ return cl;
389}
389}
390
390
391
391
@@ -532,13 +532,21 @@ void stackOverflow(void);
532#include "idris_gmp.h"
532#include "idris_gmp.h"
533
533
534static inline size_t valSize(VAL v) {
534static inline size_t valSize(VAL v) {
535− return v->hdr.sz;
535+ return v->hdr.sz;
536}
536}
537
537
538static inline size_t aligned(size_t sz) {
538static inline size_t aligned(size_t sz) {
539− return (sz + 7) & ~7;
539+ return (sz + 7) & ~7;
540}
540}
541
541
542VM* get_vm(void);
542VM* get_vm(void);
543
543
544#endif
544#endif
545+
546+/*
547+ Local variables: **
548+ c-file-style: "bsd" **
549+ c-basic-offset: 4 **
550+ indent-tabs-mode: nil **
551+ End: **
552+*/