danielkeller/vec — Issue #1: type inference for templating
Author: danielkeller
Created: 2012-01-23 20:46:23+00:00
State: open

add argstype

in anytype, add bool "needed."
DoFunc on function even if args are abstract
when stepping thru a function, mark "problem" anytypes as needed.
when checking func cadidates, make sure all needed anys are filled
when merging (? add new function?) don't merge unneeded anys
this fixes the "do i merge refs" problem, and lets us do list ops in vec as opposed to c