slavapestov/factor — Issue #417: Function output type inference
Author: mrjbq7
Created: 2011-11-19 00:37:10+00:00
State: open

I was talking to Joe and he pointed out that function output types aren't used for compiler type inference.

For example this:

```factor
IN: scratchpad : foo ( -- x ) 2 ;
IN: scratchpad : bar ( -- y ) foo sqrt ;
IN: scratchpad \ foo optimized.
[ 2 ]
IN: scratchpad \ bar optimized.
[ foo sqrt ]
```

Should probably infer as `[ foo M\ fixnum sqrt ]`, no?