From: Markus Triska <triska@metalevel.at>
Date: Wed, 17 Jun 2020 22:09:33 +0000 (+0200)
Subject: put_char/[1,2]: throw type errors for atoms that are not characters
X-Git-Tag: v0.8.127~27^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5eda2dfe0e8b3aa4cec5159ef8b2df1e56d97375;p=scryer-prolog.git

put_char/[1,2]: throw type errors for atoms that are not characters

Example:

    ?- put_char(hello).
    %@ caught: error(type_error(character,hello),put_char/2)
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 9edac576..a3943b8b 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -1905,7 +1905,6 @@ impl MachineState {
                                         }
                                     }
                                     _ => {
-                                        unreachable!()
                                     }
                                 }
                             }