summaryrefslogtreecommitdiff
path: root/forum/myOption.ur
blob: e85945482fab9522d76e61563e75a95d480e69e8 (plain)
1
2
3
4
fun getError [t] maybe =
    case maybe of
	None => error <xml>Attempted to extract a value out of a None</xml>
      | Some v => v