[polyml] Re: On understanding Poly/ML function definition IR

2011-02-09 Thread Yue Li
On 02/09/2011 12:01 PM, David Matthews wrote: On 08/02/2011 00:31, Yue Li wrote: I'm trying to get better understanding about the code tree of Poly/ML function definition. I would appreciate if I can gain some insights from you. For instance, given the following definition: > fun f a b = a + b

[polyml] Re: On understanding Poly/ML function definition IR

2011-02-09 Thread David Matthews
On 08/02/2011 00:31, Yue Li wrote: I'm trying to get better understanding about the code tree of Poly/ML function definition. I would appreciate if I can gain some insights from you. For instance, given the following definition: > fun f a b = a + b; The first point to appreciate is that this