Fix "Pattern match(es) are non-exhaustive" warning in "eval1".