miniML_error is a minilanguage created in 2013.
git clone https://github.com/andrejbauer/plzoo/tree/master/src/miniml_error
like miniml that can also abort execution