@@ -24,9 +24,9 @@ void mpz_init_set_sll(mpz_t n, long long sll)
2424
2525void mpz_set_sll(mpz_t n, long long sll)
2626{
27− mpz_set_si(n, (int)(sll >> 32)); /* n = (int)sll >> 32 */
28− mpz_mul_2exp(n, n, 32 ); /* n <<= 32 */
29− mpz_add_ui(n, n, (unsigned int)sll); /* n += (unsigned int)sll */
27+ mpz_set_si(n, (int)(sll >> 32)); /* n = (int)sll >> 32 */
28+ mpz_mul_2exp(n, n, 32 ); /* n <<= 32 */
29+ mpz_add_ui(n, n, (unsigned int)sll); /* n += (unsigned int)sll */
3030}
3131
3232unsigned long long mpz_get_ull(mpz_t n)
@@ -91,13 +91,13 @@ char *__idris_readStr(FILE* h) {
9191}
9292
9393void* fileOpen(char* name, char* mode) {
94− FILE* f = fopen(name, mode);
95− return (void*)f;
94+ FILE* f = fopen(name, mode);
95+ return (void*)f;
9696}
9797
9898void fileClose(void* h) {
99− FILE* f = (FILE*)h;
100− fclose(f);
99+ FILE* f = (FILE*)h;
100+ fclose(f);
101101}
102102
103103int fileEOF(void* h) {
@@ -111,27 +111,26 @@ int fileError(void* h) {
111111}
112112
113113void fputStr(void* h, char* str) {
114− FILE* f = (FILE*)h;
115− fputs(str, f);
114+ FILE* f = (FILE*)h;
115+ fputs(str, f);
116116}
117117
118118int isNull(void* ptr) {
119− return ptr==NULL;
119+ return ptr==NULL;
120120}
121121
122122void idris_memset(void* ptr, size_t offset, uint8_t c, size_t size) {
123− memset(((uint8_t*)ptr) + offset, c, size);
123+ memset(((uint8_t*)ptr) + offset, c, size);
124124}
125125
126126uint8_t idris_peek(void* ptr, size_t offset) {
127− return *(((uint8_t*)ptr) + offset);
127+ return *(((uint8_t*)ptr) + offset);
128128}
129129
130130void idris_poke(void* ptr, size_t offset, uint8_t data) {
131− *(((uint8_t*)ptr) + offset) = data;
131+ *(((uint8_t*)ptr) + offset) = data;
132132}
133133
134134void idris_memmove(void* dest, void* src, size_t dest_offset, size_t src_offset, size_t size) {
135− memmove(dest + dest_offset, src + src_offset, size);
135+ memmove(dest + dest_offset, src + src_offset, size);
136136}
137−