Lines Matching defs:container
184 | checkUse isMain (SetContainer{container, tuple = Tuple { fields, ...}, ...}, cl, _) =
186 checkUse isMain (container, checkUseList isMain (fields, cl), false)
187 | checkUse isMain (SetContainer{container, tuple, filter}, cl, _) =
188 checkUse isMain (container, checkUse isMain (tuple, cl -- (BoolVector.length filter), false), false)
571 Transform it to take a container as an argument and put the result in there. *)
582 the container. We need to replace any recursive references with calls to the
596 SetContainer{container = containerArg, tuple = transBody, filter=filter }
609 (* The shim function creates a container, passes it to the main function and then
610 builds a tuple from the container. *)
743 (* We need a container here for the result. *)
757 (* If this is the last then we need to include the container if required. *)
804 the container. *)
1020 the fields into a container on the stack. *)
1323 (* We require a container. *)
1328 fun setContainer tuple = (* At the leaf set the container. *)
1329 SetContainer{container = loadContainer, tuple = tuple, filter = fieldsToFilter useList }
1336 val container =
1350 mkEnv([makeContainer], container)