shithub: mc

Download patch

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;