another repl_fun EVAL example, yielding an unexpected parse error

maybe I just don't know the syntax of CakeML though...