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 9edac5763cafb70bc0bf76472b846689f5ed6239..a3943b8b58e19d3d9ffbee9cd6f73a43afc9f790 100644 (file)
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -1905,7 +1905,6 @@ impl MachineState {
                                         }
                                     }
                                     _ => {
-                                        unreachable!()
                                     }
                                 }
                             }