On Sun, Jan 20, 2013 at 8:20 AM, Alex Vondrak <ajvond...@gmail.com> wrote:

> and noticed the same types being inferred (object vs string).  So, looking
> at the definitions,
>
>   IN: scratchpad \ >array see
>   USING: sequences ;
>   IN: arrays
>   : >array ( seq -- array ) { } clone-like ;
>   IN: scratchpad \ >string see
>   USING: sequences ;
>   IN: strings
>   : >string ( seq -- str ) "" clone-like ; inline
>
> we notice that >array isn't inlined, while >string is.  So perhaps the type
> information of >array isn't getting propagated because it's not inlined?


That's it. Inlining `>array` makes `{ } like` propagate its type as you'd
expect.

-Joe
------------------------------------------------------------------------------
Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS,
MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current
with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft
MVPs and experts. ON SALE this month only -- learn more at:
http://p.sf.net/sfu/learnmore_123012
_______________________________________________
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Reply via email to