Dear Magnus, Yong, > That's right. It sounds like you want to do what we do in: > > https://github.com/CakeML/cakeml/blob/master/translator/ml_progScript.sml thanks, that seems to do the trick. Cheers Lars