ffdb074 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Change + to | because | better reflects our intentions.

commitffdb07491deeadbdf66d5d67163e5d9bc5460d40 authorstepcut <jeremy@n-heptane.com> dateMon 10 Mar 2014, 17:14 (13 years ago) parent50eacbd

1 file changed+1−1

unifiedsplit

rts/idris_rts.h+1−1

@@ -212,7 +212,7 @@ void idris_doneAlloc(VM* vm);

212212#define allocCon(cl, vm, t, a, o) \

213213 cl = allocate(vm, sizeof(Closure) + sizeof(VAL)*a, o); \

214214 SETTY(cl, CON); \

215− cl->info.c.tag_arity = ((t) << 8) + (a);

215+ cl->info.c.tag_arity = ((t) << 8) | (a);

216216

217217void* vmThread(VM* callvm, func f, VAL arg);

218218