MLCompiler/CodeTree/CODETREE_STATIC_LINK_AND_CASES.sml

46     (* Property tag to indicate which arguments to a function are functions
65                is a function a closure must be made for it. *)
107             fun insert(Eval { function = Extract LoadRecursive, argList, resultType, ...}) =
120                     (* If we are calling a function which has been declared this
122                        function would. *)
123                     BICEval {function = BICExtract func, argList = newargs, resultType=resultType}
126             |   insert(Eval { function = Extract ext, argList, resultType, ...}) =
141                     (* If we are calling a function which has been declared this
143                        function would. *)
144                     BICEval {function = BICExtract func, argList = newargs, resultType=resultType}
147             |   insert(Eval { function = Constnt(w, p), argList, resultType, ...}) =
149                     (* Constant function. *)
164                     BICEval {function = BICConstnt (w, p), argList = newargs, resultType=resultType}
167             |   insert(Eval { function = Lambda lam, argList, resultType, ...}) =
169                     (* Call of a lambda.  Typically this will be a recursive function that
175                     BICEval {function = func, argList = newargs, resultType=resultType}
178             |   insert(Eval { function, argList, resultType, ...}) =
182                     val func  = insert function
184                     BICEval {function = func, argList = newargs, resultType=resultType}
230             |   insert(BeginLoop{loop=body, arguments=argList, ...}) = (* Start of tail-recursive inline function. *)
249             |   insert(Loop argList) = (* Jump back to start of tail-recursive function. *)
269                             (* Binding a Lambda - process the function first. *)
273                             (* Process all the references to the function. *)
285                             (* Non-function binding. *)
297                              (they should be functions) need closures. A function will
301                              because that function requires a full closure. This means
336                                Any of closures may refer to any other function so we must
434                        to a function that is known only to call the function.  It
491                  function calls must always be treated as different.
689             (* If "makeClosure" is true the function will need a full closure.
699                 (* A new table for the new function. *)
781                 (* Copy the closure of a function which has previously been
786                     (* process the non-locals in this function *)