On Mon, Jun 1, 2015 at 1:06 PM, Matt Rice <[email protected]> wrote: > On Mon, Jun 1, 2015 at 12:58 PM, Matt Oliveri <[email protected]> wrote: > > On Mon, Jun 1, 2015 at 3:36 PM, Matt Rice <[email protected]> wrote: > >> I'd have to go look at the original bitc compiler and try again, but > >> IIRC it had forward references but I was never able to get mutually > >> recursive types out of it without infinite source code :) > > > > Hmm. Well I've never tried the old bitc. I suppose it could forbid > > mutually recursive types, but I don't see why you'd want to do that, > > if you have regular recursive types. > > I believe it was in fact a bug in the type environment lookup that, > I was just trying to point out that because we have both forward > references, and back references, need not necessarily imply that we in > fact have loops, I will give that that is how it usually works yes...
It's very possible that there was a bug in the type lookup code. Unfortunate that we didn't know about this at the time, as it might have explained some weird behavior we encountered... shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
