Lines Matching defs:fields
182 | checkUse isMain (Tuple{ fields, ...}, cl, _) = checkUseList isMain (fields, cl)
184 | checkUse isMain (SetContainer{container, tuple = Tuple { fields, ...}, ...}, cl, _) =
186 checkUse isMain (container, checkUseList isMain (fields, cl), false)
217 (* Turn a list of fields to use into a filter for SetContainer. *)
221 val fields = BoolArray.array(maxDest+1, false)
222 val _ = List.app(fn n => BoolArray.update(fields, n, true)) useList
224 BoolArray.vector fields
390 fun findTuple(Tuple{fields, isVariant=false}) = (List.length fields, false)
547 fun bodyReturnsTuple (Tuple{fields, isVariant=false}) =
549 filter=BoolVector.tabulate(List.length fields, fn _ => true),
724 val fields = filterToFields filter
726 List.map(fn p => (mkInd(p, Extract arg), GeneralType)) fields @
1018 (* If the result of the if-then-else is always taken apart as fields
1020 the fields into a container on the stack. *)
1273 (* Find the fields that are used. Not all may be. *)
1312 reconstruct one with unused fields set to zero. They will
1318 Tuple{ fields = List.tabulate(offset+1, mkFields), isVariant = false }
1335 to add dummy fields where necessary. *)
1347 Tuple{fields = mkField(0, 0, useList), isVariant=false}