ref: f9d4d377fbc039e674b51986b8cbb1486e8eada5
parent: 5b2417b3ca17e3d3b5256280d202d577db302bfa
author: Ori Bernstein <ori@eigenstate.org>
date: Sat Jan 2 17:48:41 EST 2016
Disallow out of sync types. We currently toss out all the info to unify them, so.. uh.
--- a/parse/stab.c
+++ b/parse/stab.c
@@ -276,6 +276,8 @@
e->decl.type = g->decl.type;
else if (g->decl.type->type == Tyvar)
g->decl.type = e->decl.type;
+ else
+ fatal(e, "FIXME: types on both prototype and decl not yet allowed\n");
if (!e->decl.init)
e->decl.init = g->decl.init;