Lines Matching defs:fields
182 | simpGeneral context (Tuple { fields, isVariant }) =
183 SOME(specialToGeneral(simpTuple(fields, isVariant, context, RevList [])))
198 val fields = List.tabulate(size, envGeneralToCodetree o #1 o recEnv)
200 SOME(simpPostSetContainer(optCont, Tuple{isVariant=false, fields=fields}, cDecs, filter))
497 | simpSpecial (Tuple { fields, isVariant }, context, tailDecs) = simpTuple(fields, isVariant, context, tailDecs)
503 (* Anything else - copy it and then split it into the fields. *)
1433 | processFields(field::fields, bindings) =
1437 val (otherFields, resBindings) = processFields(fields, newBindings)
1452 then makeConstVal(Tuple{ fields = generalFields, isVariant = isVariant })
1453 else Tuple{ fields = generalFields, isVariant = isVariant }
1495 and simpPostSetContainer(container, Tuple{fields, ...}, RevList tupleDecs, filter) =
1503 val selected = select(0, fields)
1529 fun fieldsToFilter fields =
1531 val maxDest = List.foldl Int.max ~1 fields
1533 val _ = List.app(fn n => BoolArray.update(filterArray, n, true)) fields
1539 SOME (ext, fields) =>
1541 val filter = fieldsToFilter fields