On Fri, Jul 4, 2014 at 4:12 PM, Jonathan S. Shapiro <[email protected]> wrote: > On Fri, Jul 4, 2014 at 12:30 PM, Matt Oliveri <[email protected]> wrote: >> Have you thought about heuristic algorithms for inferring effect >> polymorphism? > > A bit. Not a lot. I'm not clear why they need to be heuristic.
Oh, maybe they don't. I pessimistically assumed there wouldn't be complete type inference for BitC anymore, but I don't know much about type inference. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
