expandFail method

dynamic expandFail(
  1. dynamic fail,
  2. dynamic annot
)

Implementation

expandFail(fail, annot) {
  if (annot == null) {
    return '[ { "prim": "UNIT" }, { "prim": "FAILWITH" } ]';
  } else {
    return '[ { "prim": "UNIT" }, { "prim": "FAILWITH", "annots": [${listToString(annot)}] } ]';
  }
}