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)
This commit is contained in:
Markus Triska
2020-06-18 00:09:33 +02:00
parent 1509c6a471
commit 5eda2dfe0e

View File

@@ -1905,7 +1905,6 @@ impl MachineState {
}
}
_ => {
unreachable!()
}
}
}