Open eholk opened 10 years ago
With type inference, it's sometimes surprising what types we end up with. We should add a tool that infers the types and then dumps out the types that Harlan found. We can probably get by with just listing top level defines and their types.
With type inference, it's sometimes surprising what types we end up with. We should add a tool that infers the types and then dumps out the types that Harlan found. We can probably get by with just listing top level defines and their types.