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